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, G., Braberman, V., Garbervetsky, D., Uchitel, S.
Formato: SER
Materias:
Behaviour validation
enabledness-preserving abstractions
Concise representations
Programming tasks
Source codes
Abstracting
Communication
Computer software
Design
Formal methods
Acceso en línea: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 todo:paper_03029743_v7320LNCS_n_p192_DeCaso
record_format dspace
spelling todo:paper_03029743_v7320LNCS_n_p192_DeCaso2023-10-03T15:19:25Z Abstractions for validation in action De Caso, G. Braberman, V. Garbervetsky, D. Uchitel, S. 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. SER info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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, G.
Braberman, V.
Garbervetsky, D.
Uchitel, S.
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.
format SER
author De Caso, G.
Braberman, V.
Garbervetsky, D.
Uchitel, S.
author_facet De Caso, G.
Braberman, V.
Garbervetsky, D.
Uchitel, S.
author_sort De Caso, G.
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
url http://hdl.handle.net/20.500.12110/paper_03029743_v7320LNCS_n_p192_DeCaso
work_keys_str_mv AT decasog abstractionsforvalidationinaction
AT brabermanv abstractionsforvalidationinaction
AT garbervetskyd abstractionsforvalidationinaction
AT uchitels abstractionsforvalidationinaction
_version_ 1807322883025797120

Ejemplares similares