Declaratively building behavior by means of scenario clauses

Mostrar todas las versiones(2)

Behavior needs to be understood from early stages of software development. In this context, incremental and declarative modeling seems an attractive approach for closely capturing and analyzing requirements without early operational commitment. A traditional choice for such a kind of modeling is a l...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Braberman, Víctor Adrián
Publicado: 2017
Materias:
Behavioral modeling
Formal Specifications
Requirements Engineering
Formal specification
Requirements engineering
Semantics
Temporal logic
Behavioral model
Declarative Languages
Declarative models
Declarative semantics
Formal Description
Logic-based approach
Operational commitments
Regular properties
Software design
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_09473602_v22_n2_p239_Asteasuain
http://hdl.handle.net/20.500.12110/paper_09473602_v22_n2_p239_Asteasuain
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares