{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:05:10Z","timestamp":1725599110352},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540678809"},{"type":"electronic","value":"9783642583223"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/978-3-642-58322-3_30","type":"book-chapter","created":{"date-parts":[[2011,8,4]],"date-time":"2011-08-04T23:05:05Z","timestamp":1312499105000},"page":"389-404","source":"Crossref","is-referenced-by-count":7,"title":["Entwurfsmustergesteuerte Erzeugung von OCL-Constraints"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Baar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reiner","family":"H\u00e4hnle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Theo","family":"Sattler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter H.","family":"Schmitt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"F Buschmann","year":"1996","unstructured":"Buschmann, F., R. Meunier, H. Rohnert, P. Sommerlad und M. Stal: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, New York, 1996."},{"key":"30_CR2","doi-asserted-by":"publisher","first-page":"411","DOI":"10.1145\/302405.302672","volume-title":"Proc. 21st International Conference on Software Engineering","author":"MB Dwyer","year":"1999","unstructured":"Dwyer, M. B., G. S. Avrunin und J. C. Corbett: Patterns in Property Specifications for Finite-State Verification. In: Proc. 21st International Conference on Software Engineering, S. 411\u2013420. IEEE Computer Society Press, ACM Press, 1999."},{"key":"30_CR3","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1995","unstructured":"Gamma, E., R. Helm, R. Johnson und J. Vlissides: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading\/MA, 1995."},{"key":"30_CR4","volume-title":"Fourth NASA Langley Formal Methods Workshop, Nr. 3356 in NASA Conference Publication","author":"CM Holloway","year":"1997","unstructured":"Holloway, C. M. und K. J. Hayhurst (Hrsg.): Fourth NASA Langley Formal Methods Workshop, Nr. 3356 in NASA Conference Publication, Hampton, Viginia, 1997."},{"key":"30_CR5","unstructured":"Knight, J. C, C. L. DeJong, M. S. Gibble und L. G. Nakano: Why Are Formal Methods Not USED More Widely?. In: Holloway, C. M. und Hayhurst [4], S. 1\u201312."},{"issue":"10","key":"30_CR6","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201cDesign by Contract\u201d. IEEE Computer, 25(10):40\u201351, Okt. 1992.","journal-title":"IEEE Computer"},{"key":"30_CR7","unstructured":"Object Modeling Group: Unified Modelling Language Specification, version 1.3, Juni 1999. URL: uml.shl.com:80\/docs\/UML1.3\/99-06-08.pdf."},{"key":"30_CR8","volume-title":"The Unified Modeling Language Reference Manual. Object Technology Series","author":"J Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., I. JACOBSON und G. Booch: The Unified Modeling Language Reference Manual. Object Technology Series. Addison-Wesley, Reading\/MA, 1999."},{"key":"30_CR9","series-title":"Interner Bericht 2000-16","volume-title":"Einbindung formaler Constraints in UML Spezifikationen","author":"T Sattler","year":"2000","unstructured":"Sattler, T.: Einbindung formaler Constraints in UML Spezifikationen. Interner Bericht 2000-16, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t Karlsruhe, Juni 2000."},{"key":"30_CR10","volume-title":"XML Metadata Interchange (XMI)","author":"U Corp","year":"1998","unstructured":"Unisys Corp. et al.: XML Metadata Interchange (XMI), Okt. 1998. URL: \n                    ftp:\/\/ftp.omg.org\/pub\/docs\/ad\/98-10-05.pdf\n                    \n                  \/pub\/docs\/ad\/98-10-05.pdf."},{"key":"30_CR11","series-title":"Object Technology Series","volume-title":"The Object Constraint Language: Precise Modelling with UML","author":"J Warmer","year":"1999","unstructured":"Warmer, J. und A. Kleppe: The Object Constraint Language: Precise Modelling with UML.\u00a0 Object Technology Series. Addison-Wesley, Reading\/MA, 1999."}],"container-title":["Informatik aktuell","Informatik 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-58322-3_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,30]],"date-time":"2019-03-30T23:44:16Z","timestamp":1553989456000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-58322-3_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540678809","9783642583223"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-58322-3_30","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[2000]]}}}