Model checking early requirements specifications in Tropos
Ariel Fuxman, Marco Pistore, John Mylopoulos, Paolo Traverso[doi] [Google Scholar] [DBLP] [Citeseer]
Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on
IEEE
Pages 174-181
2001
Note(s): requirements specification
IEEE
Pages 174-181
2001
Note(s): requirements specification