{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:41:55Z","timestamp":1725550915945},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540433538"},{"type":"electronic","value":"9783540459231"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45923-5_23","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:12:13Z","timestamp":1269897133000},"page":"327-330","source":"Crossref","is-referenced-by-count":13,"title":["The Key System: Integrating Object-Oriented Design and Formal Methods"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Ahrendt","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Baar","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Beckert","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Giese","sequence":"additional","affiliation":[]},{"given":"Elmar","family":"Habermalz","sequence":"additional","affiliation":[]},{"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[]},{"given":"Wolfram","family":"Menzel","sequence":"additional","affiliation":[]},{"given":"Wojciech","family":"Mostowski","sequence":"additional","affiliation":[]},{"given":"Peter H.","family":"Schmitt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"key":"23_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/3-540-40006-0_3","volume-title":"The KeY approach: Integrating object oriented design and formal verification","author":"W. Ahrendt","year":"2000","unstructured":"W. Ahrendt, T. Baar, B. Beckert, M. Giese, E. Habermalz, R. H\u00e4hnle, W. Menzel, and P. H. Schmitt. The KeY approach: Integrating object oriented design and formal verification. In M. Ojeda-Aciego, I. P. de Guzm\u00e1n, G. Brewka, and L. M. Pereira, editors, Proc. 8th European Workshop on Logics in AI (JELIA), Malaga,Spain, volume 1919 of LNCS, pages 21\u201336. Springer-Verlag, Oct. 2000."},{"key":"23_CR2","unstructured":"T. Baar. Experiences with the UML\/OCL-approach to precise software modeling: A report from practice. In Proc. Net. ObjectDays, Erfurt, Germany, 2000. \n                    http:\/\/i12www.ira.uka.de\/~key\/doc\/2000\/baar00.pdf.gz\n                    \n                  ."},{"key":"23_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/3-540-45165-X_2","volume-title":"A dynamic logic for the formal verification of Java Card programs","author":"B. Beckert","year":"2001","unstructured":"B. Beckert. A dynamic logic for the formal verification of Java Card programs. In I. Attali and T. Jensen, editors, Java on Smart Cards: Programming and Security. Revised Papers, Java Card 2000, International Workshop, Cannes, France, LNCS 2041, pages 6\u201324. Springer-Verlag, 2001."},{"key":"23_CR4","unstructured":"B. Beckert, U. Keller, and P. H. Schmitt. Translating the object constraint language into first-order predicate logic. Submitted to FASE 2002, available from \n                    http:\/\/i12www.ira.uka.de\/~projekt\/publicat.htm\n                    \n                  ."},{"issue":"4","key":"23_CR5","first-page":"23","volume":"29","author":"D. L. Dill","year":"1996","unstructured":"D. L. Dill and J. Rushby. Acceptance of formal methods: Lessons from hardware design. IEEE Computer, 29(4):23\u201324, Apr. 1996.","journal-title":"IEEE Computer"},{"key":"23_CR6","unstructured":"R. H\u00e4hnle and A. Ranta. Connecting OCL with the rest of the world. In J. Whittle, editor, Workshop on Transformations in UML at ETAPS, Genova, Italy, Apr. 2001."},{"key":"23_CR7","unstructured":"Object Modeling Group. Unified Modelling Language Specification, v1.4, Sept. 2001."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45923-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T06:42:40Z","timestamp":1550990560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45923-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433538","9783540459231"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45923-5_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}