Navegar

Colección

Datos Estadísticas

Lista de

Requirements engineering
11
"Declaratively building behavior by means of scenario clauses" (2017) Asteasuain, F.; Braberman, V. Requirements Engineering. 22(2):239-274
"Declaratively building behavior by means of scenario clauses" (2017) Asteasuain, F.; Braberman, V. Requirements Engineering. 22(2):239-274
"Risk-driven revision of requirements models" (2016) Alrajeh, D.;Van Lamsweerde, A.;Kramer, J. (...)Uchitel, S. 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016. 14-22-May-2016:855-865
"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700
"Specification Patterns: Formal and Easy" (2015) Asteasuain, F.; Braberman, V. International Journal of Software Engineering and Knowledge Engineering. 25(4):669-700
"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
"Using abduction and induction for operational requirements elaboration" (2009) Alrajeh, D.; Ray, O.; Russo, A.; Uchitel, S. Journal of Applied Logic. 7(3):275-288
"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
"Deriving event-based transition systems from goal-oriented requirements models" (2008) Letier, E.; Kramer, J.; Magee, J.; Uchitel, S. Automated Software Engineering. 15(2):175-206
"Using a scenario model to derive the functions of a formal specification" (2001) Mauco, M.V.; Riesco, D.; George, C. 8th Asia Pacific Software Engineering Conference APSEC'2001:329-332
"Using a scenario model to derive the functions of a formal specification" (2001) Mauco, M.V.; Riesco, D.; George, C. 8th Asia Pacific Software Engineering Conference APSEC'2001:329-332