Supporting incremental behaviour model elaboration

Behaviour model construction remains a difficult and labour intensive task which hinders the adoption of model-based methods by practitioners. We believe one reason for this is the mismatch between traditional approaches and current software development process best practices which include iterative...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Uchitel, S., Alrajeh, D., Ben-David, S., Braberman, V., Chechik, M., De Caso, G., D'Ippolito, N., Fischbein, D., Garbervetsky, D., Kramer, J., Russo, A., Sibay, G.
Formato: JOUR
Materias:
Partial behaviour modelling
Behaviour modelling
Controller synthesis
Iterative development
Modelling and analysis
Software development process
Techniques and tools
Traditional approaches
Verification techniques
Software engineering
Iterative methods
Acceso en línea:http://hdl.handle.net/20.500.12110/paper_18652034_v28_n4_p279_Uchitel
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

Ejemplares similares

Ejemplares similares