Specifying and Analyzing Early Requirements in Tropos. Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., & Traverso, P. Requir. Eng., 9(2):132--150, Springer-Verlag New York, Inc., Secaucus, NJ, USA, May, 2004. doi bibtex @article{Fuxman:2004,
Acmid = {1008837},
Address = {Secaucus, NJ, USA},
Author = {Fuxman, Ariel and Liu, Lin and Mylopoulos, John and Pistore, Marco and Roveri, Marco and Traverso, Paolo},
Doi = {10.1007/s00766-004-0191-7},
Issn = {0947-3602},
Issue_Date = {May 2004},
Journal = {Requir. Eng.},
Keywords = {Early requirements specifications, Formal methods, Model checking},
Month = may,
Number = {2},
Numpages = {19},
Pages = {132--150},
Publisher = {Springer-Verlag New York, Inc.},
Title = {Specifying and Analyzing Early Requirements in Tropos},
Volume = {9},
Year = {2004},
Bdsk-Url-1 = {http://dx.doi.org/10.1007/s00766-004-0191-7}}
Downloads: 0
{"_id":"kWimZApMnKE6Sx3rT","bibbaseid":"fuxman-liu-mylopoulos-pistore-roveri-traverso-specifyingandanalyzingearlyrequirementsintropos-2004","downloads":0,"creationDate":"2016-07-28T14:19:17.262Z","title":"Specifying and Analyzing Early Requirements in Tropos","author_short":["Fuxman, A.","Liu, L.","Mylopoulos, J.","Pistore, M.","Roveri, M.","Traverso, P."],"year":2004,"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/2237578/bibliografia.bib","bibdata":{"bibtype":"article","type":"article","acmid":"1008837","address":"Secaucus, NJ, USA","author":[{"propositions":[],"lastnames":["Fuxman"],"firstnames":["Ariel"],"suffixes":[]},{"propositions":[],"lastnames":["Liu"],"firstnames":["Lin"],"suffixes":[]},{"propositions":[],"lastnames":["Mylopoulos"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Pistore"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Roveri"],"firstnames":["Marco"],"suffixes":[]},{"propositions":[],"lastnames":["Traverso"],"firstnames":["Paolo"],"suffixes":[]}],"doi":"10.1007/s00766-004-0191-7","issn":"0947-3602","issue_date":"May 2004","journal":"Requir. Eng.","keywords":"Early requirements specifications, Formal methods, Model checking","month":"May","number":"2","numpages":"19","pages":"132--150","publisher":"Springer-Verlag New York, Inc.","title":"Specifying and Analyzing Early Requirements in Tropos","volume":"9","year":"2004","bdsk-url-1":"http://dx.doi.org/10.1007/s00766-004-0191-7","bibtex":"@article{Fuxman:2004,\n\tAcmid = {1008837},\n\tAddress = {Secaucus, NJ, USA},\n\tAuthor = {Fuxman, Ariel and Liu, Lin and Mylopoulos, John and Pistore, Marco and Roveri, Marco and Traverso, Paolo},\n\tDoi = {10.1007/s00766-004-0191-7},\n\tIssn = {0947-3602},\n\tIssue_Date = {May 2004},\n\tJournal = {Requir. Eng.},\n\tKeywords = {Early requirements specifications, Formal methods, Model checking},\n\tMonth = may,\n\tNumber = {2},\n\tNumpages = {19},\n\tPages = {132--150},\n\tPublisher = {Springer-Verlag New York, Inc.},\n\tTitle = {Specifying and Analyzing Early Requirements in Tropos},\n\tVolume = {9},\n\tYear = {2004},\n\tBdsk-Url-1 = {http://dx.doi.org/10.1007/s00766-004-0191-7}}\n\n","author_short":["Fuxman, A.","Liu, L.","Mylopoulos, J.","Pistore, M.","Roveri, M.","Traverso, P."],"key":"Fuxman:2004","id":"Fuxman:2004","bibbaseid":"fuxman-liu-mylopoulos-pistore-roveri-traverso-specifyingandanalyzingearlyrequirementsintropos-2004","role":"author","urls":{},"keyword":["Early requirements specifications","Formal methods","Model checking"],"downloads":0},"search_terms":["specifying","analyzing","early","requirements","tropos","fuxman","liu","mylopoulos","pistore","roveri","traverso"],"keywords":["early requirements specifications","formal methods","model checking"],"authorIDs":[],"dataSources":["iDjj3P8hS2bETXLYW"]}