{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T02:59:36Z","timestamp":1648954776918},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2011,3,22]],"date-time":"2011-03-22T00:00:00Z","timestamp":1300752000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Informatik Spektrum"],"published-print":{"date-parts":[[2012,2]]},"DOI":"10.1007\/s00287-011-0532-0","type":"journal-article","created":{"date-parts":[[2011,3,21]],"date-time":"2011-03-21T06:07:21Z","timestamp":1300687641000},"page":"45-49","source":"Crossref","is-referenced-by-count":0,"title":["Eine formale Semantik f\u00fcr die Java Modeling Language"],"prefix":"10.1007","volume":"35","author":[{"given":"Daniel","family":"Bruns","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,3,22]]},"reference":[{"key":"532_CR1","doi-asserted-by":"crossref","unstructured":"Beckert B, H\u00e4hnle R, Schmitt PH (eds) (2007) Verification of Object-Oriented Software: The KeY Approach. Number 4334 in Lect Notes Comput Sci, Springer","DOI":"10.1007\/978-3-540-69061-0"},{"key":"532_CR2","unstructured":"Bruns D (2009) Formal semantics for the Java Modeling Language. Diplomarbeit, Universit\u00e4t Karlsruhe"},{"issue":"6","key":"532_CR3","doi-asserted-by":"crossref","first-page":"583","DOI":"10.1002\/spe.649","volume":"35","author":"Y Cheon","year":"2005","unstructured":"Cheon Y, Leavens GT, Sitaraman M, Edwards S (2005) Model variables: cleanly supporting abstraction in design by contract. Softw Pract Exp 35(6):583\u2013599","journal-title":"Softw Pract Exp"},{"key":"532_CR4","unstructured":"Gosling J, Joy B, Steele G, Bracha G (2005) The Java Language Specification, 3rd edn. The Java Series, Addison-Wesley"},{"issue":"3","key":"532_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1127878.1127884","volume":"31","author":"GT Leavens","year":"2006","unstructured":"Leavens GT, Baker AL, Ruby C (2006) Preliminary design of JML: a behavioral interface specification language for Java. SIGSOFT Softw Eng Notes 31(3):1\u201338","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"532_CR6","unstructured":"Leavens GT, Poll E, Clifton C, Cheon Y, Ruby C, Cok DR, M\u00fcller P, Kiniry J, Chalin P, Zimmerman DM, Dietl W (2009) JML reference manual. Entwurf. Revision 1.235, unver\u00f6ffentlichtes Manuskript"},{"issue":"10","key":"532_CR7","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer B (1992) Applying \u201cdesign by contract\u201d. IEEE Comput 25(10):40\u201351","journal-title":"IEEE Comput"},{"key":"532_CR8","unstructured":"Poetzsch-Heffter A (1997) Specification and verification of object-oriented programs. Habilitationsschrift, Technische Universit\u00e4t M\u00fcnchen"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-011-0532-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-011-0532-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-011-0532-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,9]],"date-time":"2019-06-09T06:29:50Z","timestamp":1560061790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-011-0532-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,22]]},"references-count":8,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["532"],"URL":"https:\/\/doi.org\/10.1007\/s00287-011-0532-0","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,3,22]]}}}