Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering

Rigorous modelling of the intended behaviour of software intensive systems has been shown to be successfull in uncovering requirements and design flaws. However, the impact that behaviour modelling has had among practitioners is limited. The construction of behaviour models remains a difficult and l...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Uchitel, S.
Formato: SER
Materias:
Behaviour modelling
Behaviour models
Best practice
Composition technique
Design flaws
Incremental construction
Iterative development
Iterative model
Level of abstraction
Modal transition
Model synthesis
Partial information
Software development process
Software intensive systems
Computer software
Formal methods
Mathematical models
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_03029743_v5902LNCS_n_p17_Uchitel
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares