{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:25:29Z","timestamp":1737523529399,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540007425"},{"type":"electronic","value":"9783540365594"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36559-1_4","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T14:41:01Z","timestamp":1192891261000},"page":"21-35","source":"Crossref","is-referenced-by-count":7,"title":["Requirements Analysis in Tropos: A Self-Referencing Example"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Bresciani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio","family":"Sannicol\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"4_CR1","series-title":"Lect Notes Comput Sci","first-page":"91","volume-title":"Agent UML: A formalism for specifying multiagent software system","author":"B. Bauer","year":"2000","unstructured":"B. Bauer, J. P. M\u00fcller, and J. Odell. Agent UML: A formalism for specifying multiagent software system. In P. Ciancarini and M. Wooldridge, editors, Agent-Oriented Software Engineering-Proceedings of the First International Workshop (AOSE2000), volume 1957, pages 91\u2013103, Limerick, Ireland, June 2000. Springer-Verlag Lecture Notes in Computer Science."},{"key":"4_CR2","unstructured":"D. Bertolini, P. Bresciani, A. Dapr\u00e1, A. Perini, and F. Sannicol\u00f3. Requirement Specification of a CASE tool supporting the Tropos methodology. Technical Report 0203-01, ITC-irst, via Sommarive, Povo, Trento, January 2002."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"P. Bresciani, A. Perini, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Modelling early requirements in Tropos: a transformation based approach. In Wooldridge et al. [22], pages 151\u2013168.","DOI":"10.1007\/3-540-70657-7_11"},{"key":"4_CR4","unstructured":"P. Bresciani and F. Sannicol\u00f3. Applying Tropos Requirements Analysis for defining a Tropos tool. In P. Giorgini, Y. Lesp\u00e9rance, G. Wagner, and E. Yu, editors, Agent-Oriented Information System. Proceedings of AOIS-2002: Fourth International Bi-Conference Workshop, pages 135\u2013138, Toronto, Canada, May 2002."},{"key":"4_CR5","unstructured":"P. Bresciani and F. Sannicol\u00f3. Applying Tropos to requirement analysis for a Tropos tool. Technical Report 0204-01, ITC-irst, via Sommarive, Povo, Trento, April 2002."},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"L. K. Chung, B. A. Nixon, E. Yu, and J. Mylopoulos. Non-Functional Requirements in Software Engineering. Kluwer Publishing, 2000.","DOI":"10.1007\/978-1-4615-5269-7"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/s100090050046","volume":"2","author":"A. Cimatti","year":"2000","unstructured":"A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer (STTT), 2(4):410\u2013425, March 2000.","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"issue":"1\u20132","key":"4_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"A. Dardenne, A. van Lamsweerde, and S. Fickas. Goal-directed requirements acquisition. Science of Computer Programming, 20(1\u20132):3\u201350, 1993.","journal-title":"Science of Computer Programming"},{"key":"4_CR9","unstructured":"P. Cederqvist et al. Version Management with CVS. http:\/\/www.cvshome.org\/docs\/manual\/ ."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"A. Fuxman, M. Pistore, J. Mylopoulos, and P. Traverso. Model Checking Early Requirements Specifications in Tropos. In Proceedings Fifth IEEE International Symposium on Requirements Engineering (RE01), pages 174\u2013181, Toronto, Canada, August 2001.","DOI":"10.1109\/ISRE.2001.948557"},{"key":"4_CR11","unstructured":"P. Giorgini, A. Perini, J. Mylopoulos, F. Giunchiglia, and P. Bresciani. Agentoriented software development: A case study. In Proceedings of the Thirteenth International Conference on Software Engineering-Knowledge Engineering (SEKE01), pages 283\u2013290, Buenos Aires-ARGENTINA, June 2001."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"F. Giunchiglia, A. Perini, and J. Mylopoulus. The Tropos Software Development Methodology: Processes, Models and Diagrams. In C. Castelfranchi and W.L. Johnson, editors, Proceedings of the first international joint conference on autonomous agents and multiagent systems, pages 63\u201374, palazzo Re Enzo, Bologna, Italy, July 2002. ACM press. Featuring: 6th International Conference on Autonomous Agents, 5th International Conference on MultiAgents System, and 9th International Workshop on Agent Theory, Architectures, and Languages.","DOI":"10.1145\/544741.544748"},{"key":"4_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-45448-9_2","volume-title":"Intelligent Agents VIII","author":"F. Giunchiglia","year":"2001","unstructured":"F. Giunchiglia, A. Perini, and F. Sannicol\u00f3. Knowledge level software engineering. In J.-J.C. Meyer and M. Tambe, editors, Intelligent Agents VIII, LNCS 2333, pages 6\u201320, Seattle, WA, USA, August 2001. Springer-Verlag."},{"key":"4_CR14","unstructured":"Gnome. Dia Tutorial. http:\/\/www.lysator.liu.se\/~alla\/dia\/diatut\/all\/all.html ."},{"key":"4_CR15","unstructured":"Knowledge Management Lab at the University of Toronto. OME3 Documentation. http:\/\/www.cs.toronto.edu\/km\/ome\/docs\/manual\/manual.html ."},{"issue":"1","key":"4_CR16","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/52.903174","volume":"18","author":"J. Mylopoulos","year":"2001","unstructured":"J. Mylopoulos, L. Chung, S. Liao, H. Wang, and E. Yu. Exploring Alternatives during Requirements Analysis. IEEE Software, 18(1):92\u201396, February 2001.","journal-title":"IEEE Software"},{"key":"4_CR17","unstructured":"J. Odell, H. V. D. Parunak, and B. Bauer. Extending UML for Agents. In G. Wagner, Y. Lesperance, and E. Yu, editors, Proc. of Agent-Oriented Information System Workshop at the 17th National conference on Artificial Intelligence, pages 3\u201317, Austin, TX, 2000."},{"key":"4_CR18","unstructured":"A. Perini, P. Bresciani, P. Giorgini, F. Giunchiglia, and J. Mylopoulos. Towards an Agent Oriented approach to Software Engineering. In A. Omicini and M. Viroli, editors, WOA 2001-Dagli oggetti agli agenti: tendenze evolutive dei sistemi software, Modena, Italy, 4-5 September 2001. Pitagora Editrice Bologna."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"A. Perini, P. Bresciani, F. Giunchiglia, P. Giorgini, and J. Mylopoulos. A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In J. P. M\u00fcller, E. Andre, S. Sen, and C. Frasson, editors, Proceedings of the Fifth International Conference on Autonomous Agents, pages 648\u2013655, Montreal CA, May 2001.","DOI":"10.1145\/375735.376477"},{"key":"4_CR20","unstructured":"F. Sannicol\u00f3, A. Perini, and F. Giunchiglia. The Tropos modeling language. A User Guide. Technical Report 0204-13, ITC-irst, January 2002."},{"key":"4_CR21","unstructured":"A. H. Watt. Designing SVG web graphics. D. Dwyer, 2002."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"M.J. Wooldridge, G. Wei\u00df, and P. Ciancarini, editors. Agent-Oriented Software Engineering II. LNCS 2222. Springer-Verlag, Montreal, Canada, Second International Workshop, AOSE2001 edition, May 2001.","DOI":"10.1007\/3-540-70657-7"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"E. Yu. Modeling Organizations for Information Systems Requirements Engineering. In Proceedings First IEEE International Symposium on Requirements Engineering, pages 34\u201341, San Jose, January 1993.","DOI":"10.1109\/ISRE.1993.324839"},{"key":"4_CR24","unstructured":"E. Yu. Modelling Strategic Relationships for Process Reengineering. PhD thesis, University of Toronto, Department of Computer Science, University of Toronto, 1995."},{"key":"4_CR25","unstructured":"E. Yu. Software Versus the World. In Wooldridge et al. [22], pages 206\u2013225."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"E. Yu and J. Mylopoulos. Understanding \u2018why\u2019 in software process modeling, analysis and design. In Proceedings Sixteenth International Conference on Software Engineering, pages 159\u2013168, Sorrento, Italy, May 1994.","DOI":"10.1109\/ICSE.1994.296775"}],"container-title":["Lecture Notes in Computer Science","Agent Technologies, Infrastructures, Tools, and Applications for E-Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36559-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:57:23Z","timestamp":1737489443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36559-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540007425","9783540365594"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-36559-1_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}