Abstractions for validation in action

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 p...

Descripción completa

Detalles Bibliográficos
Autores principales: de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego
Publicado: 2012
Materias:
Behaviour validation
enabledness-preserving abstractions
Concise representations
Programming tasks
Source codes
Abstracting
Communication
Computer software
Design
Formal methods
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7320LNCS_n_p192_DeCaso
http://hdl.handle.net/20.500.12110/paper_03029743_v7320LNCS_n_p192_DeCaso
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_03029743_v7320LNCS_n_p192_DeCaso
record_format dspace
spelling paper:paper_03029743_v7320LNCS_n_p192_DeCaso2023-06-08T15:28:44Z Abstractions for validation in action de Caso, Guido Braberman, Víctor Adrián Garbervetsky, Diego Behaviour validation enabledness-preserving abstractions Behaviour validation Concise representations enabledness-preserving abstractions Programming tasks Source codes Abstracting Communication Computer software Design Formal methods 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. Fil:De Caso, G. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Garbervetsky, D. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2012 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7320LNCS_n_p192_DeCaso http://hdl.handle.net/20.500.12110/paper_03029743_v7320LNCS_n_p192_DeCaso
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Behaviour validation
enabledness-preserving abstractions
Behaviour validation
Concise representations
enabledness-preserving abstractions
Programming tasks
Source codes
Abstracting
Communication
Computer software
Design
Formal methods
spellingShingle Behaviour validation
enabledness-preserving abstractions
Behaviour validation
Concise representations
enabledness-preserving abstractions
Programming tasks
Source codes
Abstracting
Communication
Computer software
Design
Formal methods
de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
Abstractions for validation in action
topic_facet Behaviour validation
enabledness-preserving abstractions
Behaviour validation
Concise representations
enabledness-preserving abstractions
Programming tasks
Source codes
Abstracting
Communication
Computer software
Design
Formal methods
description 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 de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
author_facet de Caso, Guido
Braberman, Víctor Adrián
Garbervetsky, Diego
author_sort de Caso, Guido
title Abstractions for validation in action
title_short Abstractions for validation in action
title_full Abstractions for validation in action
title_fullStr Abstractions for validation in action
title_full_unstemmed Abstractions for validation in action
title_sort abstractions for validation in action
publishDate 2012
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_03029743_v7320LNCS_n_p192_DeCaso
http://hdl.handle.net/20.500.12110/paper_03029743_v7320LNCS_n_p192_DeCaso
work_keys_str_mv AT decasoguido abstractionsforvalidationinaction
AT brabermanvictoradrian abstractionsforvalidationinaction
AT garbervetskydiego abstractionsforvalidationinaction
_version_ 1768546252379652096

Ejemplares similares