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...
Guardado en:
Autor principal: | Braberman, Víctor Adrián |
---|---|
Publicado: |
2015
|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_02181940_v25_n4_p669_Asteasuain http://hdl.handle.net/20.500.12110/paper_02181940_v25_n4_p669_Asteasuain |
Aporte de: |
Ejemplares similares
-
Specification Patterns: Formal and Easy
por: Asteasuain, F., et al. -
Specification patterns can be formal and still easy
por: Braberman, Víctor Adrián
Publicado: (2010) -
Specification patterns can be formal and still easy
por: Asteasuain, F., et al. -
Declaratively building behavior by means of scenario clauses
por: Braberman, Víctor Adrián
Publicado: (2017) -
Categorical foundations for structured specifications in Z
Publicado: (2015)