{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:28:08Z","timestamp":1725564488708},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208266"},{"type":"electronic","value":"9783540246206"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24620-6_3","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:29:07Z","timestamp":1283671747000},"page":"36-52","source":"Crossref","is-referenced-by-count":7,"title":["Agent-Oriented Modeling by Interleaving Formal and Informal Specification"],"prefix":"10.1007","author":[{"given":"A.","family":"Perini","sequence":"first","affiliation":[]},{"given":"M.","family":"Pistore","sequence":"additional","affiliation":[]},{"given":"M.","family":"Roveri","sequence":"additional","affiliation":[]},{"given":"A.","family":"Susi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Ambler, S.W.: Agile modeling essays (2003), http:\/\/www.agilemodeling.com\/essays.htm"},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1142\/S0218194001000517","volume":"11","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A formalism for specifying multiagent software systems. Int. Journal of Software Engineering and Knowledge Engineering\u00a011(3), 207\u2013230 (2001)","journal-title":"Int. Journal of Software Engineering and Knowledge Engineering"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An Agent-Oriented Software Development Methodology. Journal of Autonomous Agent and Multi-Agent Systems (2003) (to appear)","DOI":"10.1023\/B:AGNT.0000018806.20944.ef"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44564-1","volume-title":"Agent-Oriented Software Engineering","author":"P. Ciancarini","year":"2001","unstructured":"Ciancarini, P., Wooldridge, M.: Agent-oriented software engineering: the State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 1\u201328. Springer, Heidelberg (2001)"},{"key":"3_CR5","series-title":"Lecture Notes in AI","volume-title":"Agent-Oriented Software Engineering","year":"2001","unstructured":"Ciancarini, P., Wooldridge, M.J. (eds.): AOSE 2000. Lecture Notes in AI, vol.\u00a01957. Springer, Heidelberg (2001)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"2002","unstructured":"Cimatti, A., Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: An opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, p. 359. Springer, Heidelberg (2002)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Deloach, S.A.: Analysis and Design using MaSE and agent Tool. In: 12th Midwest Artificial Intelligence and Cognitive Science Conference (MAICS 2001), Miami University, Oxford, Ohio, March 31 - April 1 (2001)","DOI":"10.21236\/ADA448191"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-540-24620-6_8","volume-title":"Agent-Oriented Software Engineering IV","author":"R. Fuentes","year":"2004","unstructured":"Fuentes, R., G\u00f3mez-Sanz, J.J., Pav\u00f3n, J.: Activity Theory for the Analysis and Design of Multi-Agent Systems. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 110\u2013122. Springer, Heidelberg (2004)"},{"key":"3_CR9","unstructured":"Fuxman, A.: Formal analysis of early requirements specifications. Master\u2019s thesis, University of Toronto (2001)"},{"key":"3_CR10","volume-title":"IEEE Int. Symposium on Requirements Engineering","author":"A. Fuxman","year":"2003","unstructured":"Fuxman, A., Liu, L., Pistore, M., Roveri, M., Mylopoulos, J.: Specifying and analyzing early requirements: Some experimental results. In: IEEE Int. Symposium on Requirements Engineering, Monterey (USA), September 2003, IEEE Computer Society, Los Alamitos (2003)"},{"key":"3_CR11","first-page":"174","volume-title":"IEEE Int. Symposium on Requirements Engineering","author":"A. Fuxman","year":"2001","unstructured":"Fuxman, A., Pistore, M., Mylopoulos, J., Traverso, P.: Model checking early requirements specifications in Tropos. In: IEEE Int. Symposium on Requirements Engineering, Toronto (CA), August 2001, pp. 174\u2013181. IEEE Computer Society, Los Alamitos (2001)"},{"key":"3_CR12","unstructured":"Giunchiglia, F., Odell, J.J., Wei\u00df, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, Springer, Heidelberg (2003)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Jennings, N.R.: An Agent-Based approach for building complex software systems. Communication of the ACM (April 2001)","DOI":"10.1145\/367211.367250"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1007\/3-540-36540-0_10","volume-title":"Agent-Oriented Software Engineering III","author":"J.L. Koning","year":"2003","unstructured":"Koning, J.L., Romero-Hernandez, I.: Generating machine processable representations of textual representations of auml. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol.\u00a02585, pp. 126\u2013137. Springer, Heidelberg (2003)"},{"key":"3_CR15","volume-title":"The Rational Unified Process: An Introduction","author":"P. Kruchten","year":"2000","unstructured":"Kruchten, P.: The Rational Unified Process: An Introduction, 2nd edn. Addison-Wesley, Reading (2000)","edition":"2"},{"key":"3_CR16","unstructured":"Leiter, E.: Reasoning about Agents in Goal-oriented Requirements Engineering. PhD thesis, Universite Catholique de Louvain (2001)"},{"key":"3_CR17","first-page":"391","volume-title":"The 23rd Int. Conference on Software Engineering","author":"T. Menzies","year":"2001","unstructured":"Menzies, T., Powell, J., Houle, M.E.: Fast formal analysis of requirements via \u201dtopoi diagrams\u201d. In: The 23rd Int. Conference on Software Engineering, Toronto, CA, May 2001, pp. 391\u2013400. ACM Press, Toronto (2001)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Padgham, L., Winikoff, M.: Prometheus: A Methodology for Developing Intelligent Agents. In: Giunchiglia et al. [12]","DOI":"10.1145\/544741.544749"},{"key":"3_CR19","volume-title":"Proceedings of Agents 2001","author":"A. Perini","year":"2001","unstructured":"Perini, A., Bresciani, P., Giunchiglia, F., Giorgini, P., Mylopoulos, J.: A Knowledge Level Software Engineering Methodology for Agent Oriented Programming. In: Proceedings of Agents 2001, Montreal, CA, May 2001, ACM, New York (2001)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Perini, A., Susi, A.: Designing a Decision Support System for Integrated Production in Agriculture. An Agent-Oriented approach. Environmental Modelling and Software Journal (2003) (to appear)","DOI":"10.1016\/j.envsoft.2003.03.001"},{"key":"3_CR21","first-page":"147","volume-title":"ICSE 2000, 22nd International Conference on on Software Engineering, Future of Software Engineering Track","author":"A. Lamsweerde van","year":"2000","unstructured":"van Lamsweerde, A.: Formal specification: a roadmap. In: ICSE 2000, 22nd International Conference on on Software Engineering, Future of Software Engineering Track, Limerick, Ireland, June 2000, pp. 147\u2013159. ACM, New York (2000)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Jennings, N.R., Kinny, D.: The Gaia Methodology for Agent- Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems 3(3) (2000)","DOI":"10.1023\/A:1010071910869"},{"key":"3_CR23","unstructured":"Wooldridge, M.J., Wei\u00df, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol.\u00a02222, Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Software Engineering IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24620-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,3]],"date-time":"2019-06-03T13:35:04Z","timestamp":1559568904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24620-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208266","9783540246206"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24620-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}