Navegar

Colección

Datos Estadísticas

Lista de

2009
1185
2009 31st International Conference on Software Engineering, ICSE 2009
2
"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
"Validation of contracts using enabledness preserving finite state abstractions" (2009) De Caso, G.; Braberman, V.; Garbervetsky, D.; Uchitel, S. 2009 31st International Conference on Software Engineering, ICSE 2009:452-462