Formal Analysis of Early Requirements Specifications in Tropos

Authors: 
Fuxman, A.
Topic: 
FormalTropos
Year of publication: 
2001
Place published: 
Tropos Meeting, University of Toronto, Department of Computer Science, April 5 2001
AttachmentSize
2ariel01.ps228.53 KB

Back to top