Export 2 results:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Traverso
2004
Specifying and analyzing early requirements in Tropos, Fuxman, A.; Liu, L.; Mylopoulos, J.; Pistore, M.; Roveri, M.; Traverso, P. , Requirements Engineering Journal, (2004)
 Export: Tagged XML BibTex
2001
Model Checking Early Requirements Specifications in Tropos., Fuxman, A.; Mylopoulos, J.; Pistore, M.; Traverso, P. , RE-2001, the 9th IEEE International Requirements Engineering Conference., Toronto, Canada, (2001)
 Export: Tagged XML BibTex   Download:  1RE01.pdf 

Back to top