Using abduction and induction for operational requirements elaboration
Requirements Engineering involves the elicitation of high-level stakeholder goals and their refinement into operational system requirements. A key difficulty is that stakeholders typically convey their goals indirectly through intuitive narrative-style scenarios of desirable and undesirable system b...
Guardado en:
| Autores principales: | Alrajeh, D., Ray, O., Russo, A., Uchitel, S. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_15708683_v7_n3_p275_Alrajeh |
| Aporte de: |
Ejemplares similares
-
Using abduction and induction for operational requirements elaboration
Publicado: (2009) -
Deriving non-Zeno behaviour models from goal models using ILP
por: Alrajeh, D., et al. -
Learning operational requirements from goal models
por: Alrajeh, D., et al. -
Specifying event-based systems with a counting fluent temporal logic
Publicado: (2015) -
Specifying event-based systems with a counting fluent temporal logic
por: Regis, G., et al.