Validation of contracts using enabledness preserving finite state abstractions

Pre/post condition-based specifications are commonplace in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can hinder validation as it is difficult to understand if the specifications for th...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: De Caso, G., Braberman, V., Garbervetsky, D., Uchitel, S.
Formato: CONF
Materias:
Based specification
Behaviour models
Finite model
Finite-state abstraction
Industrial strength
Level of abstraction
Novel techniques
Pre/post conditions
Protocol specifications
Abstracting
Computer software
Specifications
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_02705257_v_n_p452_DeCaso
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares