{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:06:22Z","timestamp":1742961982218,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662525"},{"type":"electronic","value":"9783540484806"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-540-48480-6_13","type":"book-chapter","created":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T22:33:40Z","timestamp":1278023620000},"page":"162-172","source":"Crossref","is-referenced-by-count":10,"title":["Reflections on the Object Constraint Language"],"prefix":"10.1007","author":[{"given":"Ali","family":"Hamie","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Civello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Howse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stuart","family":"Kent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Designing Object Systems: Object-Oriented Modelling with Syntropy","author":"S. Cook","year":"1994","unstructured":"Cook, S., Daniels, J.: Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Englewood Cliffs (1994)"},{"key":"13_CR2","volume-title":"00 Development at Work","author":"D. D\u2019Souza","year":"1996","unstructured":"D\u2019Souza, D., Wills, A.: Extending Fusion: practical rigor and refinement. In: Malan, R., et al. (eds.) 00 Development at Work, Prentice Hall, Englewood Cliffs (1996)"},{"key":"13_CR3","unstructured":"D\u2019Souza, D., Wills, A.: Objects, Components and Frameworks with UML: The Catalysis Approach. Addison-Wesley, Reading (1998) (to appear) Draft and other related material available at \nhttp:\/\/www.trireme.com\/catalysis"},{"key":"13_CR4","volume-title":"UML Distilled","author":"M. Fowler","year":"1997","unstructured":"Fowler, M., Scott, K.: UML Distilled. Addison-Wesley, Reading (1997)"},{"key":"13_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-2704-5","volume-title":"Larch: Languages and Tools for Formal Specifications","author":"J. Guttag","year":"1993","unstructured":"Guttag, J., Homing, J.: Larch: Languages and Tools for Formal Specifications. Springer, Heidelberg (1993)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/BFb0053587","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Hamie","year":"1998","unstructured":"Hamie, A., Howse, J., Kent, S.: Navigation Expressions in Object-Oriented Modelling. In: Astesiano, E. (ed.) ETAPS 1998 and FASE 1998. LNCS, vol.\u00a01382, p. 123. Springer, Heidelberg (1998)"},{"key":"13_CR7","volume-title":"3rd Northem Formal Methods Workshop, electronic Workshops in Computing","author":"A. Harnie","year":"1998","unstructured":"Harnie, A., Howse, J., Kent, S.: Compositional Semantics for Object-Oriented Models. In: Duke, D., Evans, A. (eds.) 3rd Northem Formal Methods Workshop, electronic Workshops in Computing, UK. Springer, Heidelberg (1998)"},{"key":"13_CR8","volume-title":"Eiffel the Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel the Language. Prentice Hall, Englewood Cliffs (1992)"},{"key":"13_CR9","volume-title":"Systematic Software Development using VDM","author":"B.C. Jones","year":"1990","unstructured":"Jones, B.C.: Systematic Software Development using VDM. Prentice Hall, Englewood Cliffs (1990)"},{"key":"13_CR10","unstructured":"Kent, S.: UML: What does it all mean? 1 day tutorial at ETAPS 1998, Lisbon, Portugal. Notes (1998), available from \nhttp:\/\/www.it.brighton.ac.uk\/staff\/Stuart.Kent"},{"key":"13_CR11","unstructured":"Rational Software Corporation: The Unified Modeling Language Version 1.1 (1997), Available from \nhttp:\/\/www.rational.com"},{"key":"13_CR12","unstructured":"Rational Software Corporation: The Object Constraint Language Specification, Version 1.1. (1997), available from \nhttp:\/\/www.rational.com"},{"key":"13_CR13","volume-title":"Object-Oriented Modelling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J., Blaha, M., Premerali, W., Eddy, F., Lorensen, W.: Object-Oriented Modelling and Design. Prentice Hall, Englewood Cliffs (1991)"},{"key":"13_CR14","volume-title":"The Z Notation","author":"M. Spivey","year":"1992","unstructured":"Spivey, M.: The Z Notation, 2nd edn. Prentice Hall, Englewood Cliffs (1992)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","The Unified Modeling Language. \u00abUML\u00bb\u201998: Beyond the Notation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-48480-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,14]],"date-time":"2023-09-14T03:27:07Z","timestamp":1694662027000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-48480-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662525","9783540484806"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-48480-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}