Navegar

Colección

Datos Estadísticas

Lista de

Operational requirements
4
"Elaborating requirements using model checking and inductive learning" (2013) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. IEEE Transactions on Software Engineering. 39(3):361-383
"Deriving non-Zeno behaviour models from goal models using ILP" (2010) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. Formal Aspects of Computing. 22(3-4):217-241
"Deriving non-Zeno behaviour models from goal models using ILP" (2010) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. Formal Aspects of Computing. 22(3-4):217-241
"Learning operational requirements from goal models" (2009) Alrajeh, D.; Kramer, J.; Russo, A.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:265-275