Elaborating requirements using model checking and inductive learning
The process of Requirements Engineering (RE) includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. In this paper, we propose a formal, systematic approach for generating...
Guardado en:
| Autores principales: | Alrajeh, D., Kramer, J., Russo, A., Uchitel, S. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00985589_v39_n3_p361_Alrajeh |
| Aporte de: |
Ejemplares similares
-
Elaborating requirements using model checking and inductive learning
Publicado: (2013) -
Learning operational requirements from goal models
por: Alrajeh, D., et al. -
Deriving non-Zeno behaviour models from goal models using ILP
por: Alrajeh, D., et al. -
Learning operational requirements from goal models
Publicado: (2009) -
Deriving non-Zeno behaviour models from goal models using ILP
Publicado: (2010)