INVESTIGADORES
BRABERMAN Victor Adrian
capítulos de libros
Título:
Abstractions for Validation in Action
Autor/es:
VICTOR A. BRABERMAN; GUIDO DE CASO; DIEGO GARBERVETSKY; SEBASTIÁN UCHITEL
Libro:
Formal Methods for Model-Driven Engineering
Editorial:
Springer Verlag
Referencias:
Lugar: Berlin, Heidelberg ; Año: 2012; p. 192 - 218
Resumen:
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.
