Abstract
Many software engineering artefacts, such as source code or specifications, define a set of operations and impose restrictions to the ordering on which they have to be invoked. Enabledness Preserving Abstractions (EPAs) are concise representations of the behaviour space for such artefacts. In this paper, we exemplify how EPAs might be used for validation of software engineering artefacts by showing the use of EPAs to support some programming tasks on a simple C# class. © 2012 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
De Caso, G., Braberman, V., Garbervetsky, D., & Uchitel, S. (2012). Abstractions for validation in action. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7320 LNCS, pp. 192–218). https://doi.org/10.1007/978-3-642-30982-3_6
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
