Specification patterns can be formal and still easy

Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been proposed in order to hide the complicated handling of formal languages from the developer. However, this goal is not entirely satis...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Asteasuain, F., Braberman, V.
Formato: CONF
Materias:
Behavioral properties
Modifiability
Property Specification
Quality attributes
Response patterns
Scenario-based languages
Software verification
Specification patterns
Formal languages
Knowledge engineering
Software engineering
Specification languages
Specifications
Model checking
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_18917062_v_n_p430_Asteasuain
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares