Deriving event-based transition systems from goal-oriented requirements models
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operational models of the software and its environment. Event-based transition systems on the other hand are convenient formalis...
Guardado en:
Autores principales: | Letier, E., Kramer, J., Magee, J., Uchitel, S. |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09288910_v15_n2_p175_Letier |
Aporte de: |
Ejemplares similares
-
Deriving event-based transition systems from goal-oriented requirements models
Publicado: (2008) -
Learning operational requirements from goal models
por: Alrajeh, D., et al. -
Learning operational requirements from goal models
Publicado: (2009) -
Risk-driven revision of requirements models
por: Alrajeh, D., et al. -
Deriving non-Zeno behaviour models from goal models using ILP
por: Alrajeh, D., et al.