Specification Patterns: Formal and Easy

Property specification is still one of the most challenging tasks for transference of software verification technology. 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 satisfied. When validatin...

Descripción completa

Detalles Bibliográficos
Autores principales: Asteasuain, F., Braberman, V.
Formato: JOUR
Materias:
Behavioral modeling
requirements engineering
specification patterns
Computational linguistics
Computer hardware description languages
Formal languages
Requirements engineering
Semantics
Specification languages
Verification
Visual languages
Behavioral model
Behavioral properties
Graphical languages
Pattern representation
Pattern specifications
Property Specification
Software verification
Specification patterns
Specifications
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_02181940_v25_n4_p669_Asteasuain
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares