{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:10:17Z","timestamp":1725549017149},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540244226"},{"type":"electronic","value":"9783540309604"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30960-4_5","type":"book-chapter","created":{"date-parts":[[2010,2,25]],"date-time":"2010-02-25T14:19:26Z","timestamp":1267107566000},"page":"57-71","source":"Crossref","is-referenced-by-count":4,"title":["Formalism Challenges of the Cougaar Model Driven Architecture"],"prefix":"10.1007","author":[{"given":"Shawn A.","family":"Bohner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boby","family":"George","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis","family":"Gra\u010danin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael G.","family":"Hinchey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Artificial Intelligence: A Modern Approach","author":"S. Russell","year":"2003","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 2nd edn. Pearson Education, Inc., Upper Saddle River (2003)","edition":"2"},{"key":"5_CR2","volume-title":"B2B e-Commerce Technology: Frameworks, Standards and Emerging Issues","author":"A. Dogac","year":"2004","unstructured":"Dogac, A., Cingil, I.: Agent technology. In: B2B e-Commerce Technology: Frameworks, Standards and Emerging Issues. Addison-Wesley, Amsterdam (2004)"},{"key":"5_CR3","unstructured":"Dogac, A., Cingil, I.: Grasshopper 2: The agent platform. IKV++ Technologies AG (2004), \n                    \n                      http:\/\/www.grasshopper.de"},{"key":"5_CR4","unstructured":"Dogac, A., Cingil, I.: Agent oriented software. The Agent Oriented Software Group (2004), \n                    \n                      http:\/\/www.agent-software.com"},{"key":"5_CR5","unstructured":"Dogac, A., Cingil, I.: Cognitive agent architecture (Cougaar). Cognitive Agent Architecture (Cougaar) Open Source Project (2004), \n                    \n                      http:\/\/www.cougaar.com"},{"key":"5_CR6","unstructured":"Dogac, A., Cingil, I.: Java agent development framework (JADE). JADE Board (2004), \n                    \n                      http:\/\/jade.tilab.com"},{"key":"5_CR7","unstructured":"Dogac, A., Cingil, I.: The foundation for intelligent physical agents (fipa). FIPA Secretariat (2004), \n                    \n                      http:\/\/www.fipa.org\/resources\/livesystems.html"},{"key":"5_CR8","first-page":"2","volume":"11","author":"A. Dogac","year":"2004","unstructured":"Dogac, A., Cingil, I.: Cougaar architecture document. Technical report, BBN Technologies Version for Cougaar\u00a011.2 (2004)","journal-title":"Technical report, BBN Technologies Version for Cougaar"},{"key":"5_CR9","first-page":"2","volume":"11","author":"A. Dogac","year":"2004","unstructured":"Dogac, A., Cingil, I.: Cougaar developers guide. Technical report, BBN Technologies Version for Cougaar\u00a011.2 (2004)","journal-title":"Technical report, BBN Technologies Version for Cougaar"},{"key":"5_CR10","volume-title":"Software Architecture in Practice","author":"L. Bass","year":"1998","unstructured":"Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison- Wesley Publishing Co., Amsterdam (1998)"},{"key":"5_CR11","volume-title":"A Review of Formal Methods","author":"M. Dorfman","year":"1996","unstructured":"Dorfman, M., Thayer, R.: A Review of Formal Methods. Computer Society Press, USA (1996)"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Rouff, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Verification of nasa emergent systems. In: Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems, Florence, Italy (2004)","DOI":"10.1109\/ICECCS.2004.1310922"},{"key":"5_CR13","unstructured":"Rouff, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Information on VDM. The Center for Software Reliability (2004), \n                    \n                      http:\/\/www.csr.ncl.ac.uk\/vdm\/"},{"key":"5_CR14","series-title":"SIGPLAN Notices","volume-title":"An overview of the ISO\/VDM-SL standard","author":"N. Plat","year":"1992","unstructured":"Plat, N., Gorm-Larsen, P.: An overview of the ISO\/VDM-SL standard. SIGPLAN Notices. ACM Press, New York (1992)"},{"key":"5_CR15","series-title":"Technical report","first-page":"13441","volume-title":"An analysis of two formal methods: VDM and Z","author":"T. McGibbon","year":"1997","unstructured":"McGibbon, T.: An analysis of two formal methods: VDM and Z. Technical report, pp. 13441\u201314909. Data & Analysis Center for Software, Rome (1997), \n                    \n                      http:\/\/www.dacs.dtic.mil\/techs\/2fmethods\/title.shtml"},{"key":"5_CR16","unstructured":"McGibbon, T.: The toolbox newsletter. In: McGibbon, T. (ed.) IFAD, \n                    \n                      http:\/\/shinsahara.com\/www\/vdm\/NewsLetter\/issue5.doc"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Agent-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30960-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T09:18:04Z","timestamp":1552382284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30960-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540244226","9783540309604"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30960-4_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}