{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:35:31Z","timestamp":1725539731060},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642332951"},{"type":"electronic","value":"9783642332968"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33296-8_9","type":"book-chapter","created":{"date-parts":[[2012,9,17]],"date-time":"2012-09-17T02:24:55Z","timestamp":1347848695000},"page":"99-114","source":"Crossref","is-referenced-by-count":2,"title":["Compositionality and Refinement in Model-Driven Engineering"],"prefix":"10.1007","author":[{"given":"Jim","family":"Davies","sequence":"first","affiliation":[]},{"given":"Jeremy","family":"Gibbons","sequence":"additional","affiliation":[]},{"given":"David","family":"Milward","sequence":"additional","affiliation":[]},{"given":"James","family":"Welch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"Kleppe, A., Warmer, J., Bast, W.: MDA Explained, The Model Driven Architecture: Practice and Promise. Addison-Wesley (2003)","key":"9_CR1"},{"unstructured":"Frankel, D.: Model Driven Architecture: applying MDA to enterprise computing. OMG Series. Wiley (2003)","key":"9_CR2"},{"unstructured":"Matena, V., Stearns, B., Demichiel, L.: Applying Enterprise JavaBeans: Component-Based Development for J2EE. Pearson (2003)","key":"9_CR3"},{"unstructured":"Woodcock, J., Davies, J.: Using Z. Prentice Hall (1996), http:\/\/www.usingz.com","key":"9_CR4"},{"doi-asserted-by":"crossref","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z: foundations and advanced applications. Springer (2001)","key":"9_CR5","DOI":"10.1007\/978-1-4471-0257-1"},{"unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley (2003)","key":"9_CR6"},{"doi-asserted-by":"crossref","unstructured":"Faitelson, D., Welch, J., Davies, J.: From predicates to programs. In: Proceedings of SBMF 2005, vol.\u00a0184 (2007)","key":"9_CR7","DOI":"10.1016\/j.entcs.2007.03.021"},{"doi-asserted-by":"crossref","unstructured":"Davies, J., Faitelson, D., Welch, J.: Domain-specific semantics and data refinement of object models. ENTCS\u00a0195 (2008)","key":"9_CR8","DOI":"10.1016\/j.entcs.2007.08.031"},{"unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall (2000)","key":"9_CR9"},{"doi-asserted-by":"crossref","unstructured":"Beck, K., Cunningham, W.: A laboratory for teaching object oriented thinking. SIGPLAN Not. 24(10) (September 1989)","key":"9_CR10","DOI":"10.1145\/74878.74879"},{"unstructured":"Wirfs-Brock, R.: Responsibility-driven design. The Smalltalk Report (1991)","key":"9_CR11"},{"unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley Professional (2004)","key":"9_CR12"},{"doi-asserted-by":"crossref","unstructured":"Liskov, B., Wing, J.: A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems 16(6) (1994)","key":"9_CR13","DOI":"10.1145\/197320.197383"},{"unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley (2002)","key":"9_CR14"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1007\/978-3-540-27764-4_5","volume-title":"Mathematics of Program Construction","author":"M. Barnett","year":"2004","unstructured":"Barnett, M., Naumann, D.A.: Friends Need a Bit More: Maintaining Invariants Over Shared State. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 54\u201384. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Smith, G.: The Object-Z Specification Language. Kluwer (2000)","key":"9_CR16","DOI":"10.1007\/978-1-4615-5265-9"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/11813040_15","volume-title":"FM 2006: Formal Methods","author":"T. McComb","year":"2006","unstructured":"McComb, T., Smith, G.: Compositional Class Refinement in Object-Z. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 205\u2013220. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Smith, G.: A fully abstract semantics of classes for Object-Z. Formal Aspects of Computing 7 (1995)","key":"9_CR18","DOI":"10.1007\/BF01211075"},{"doi-asserted-by":"crossref","unstructured":"Cavalcanti, A., Sampaio, A., Woodcock, J.: Unifying classes and processes. Software and Systems Modeling 4 (2005)","key":"9_CR19","DOI":"10.1007\/s10270-005-0085-2"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-49676-2_2","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"C. Fischer","year":"1998","unstructured":"Fischer, C.: How to Combine Z with a Process Algebra. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 5\u201325. Springer, Heidelberg (1998)"},{"unstructured":"Mahony, B., Dong, J.S.: Blending Object-Z and Timed CSP: An introduction to TCOZ. In: Proceedings of ICSE 1998. IEEE Press (1998)","key":"9_CR21"},{"doi-asserted-by":"crossref","unstructured":"Back, R.J.R., von Wright, J.: Trace refinement of action systems. In: Structured Programming. Springer (1994)","key":"9_CR22","DOI":"10.1007\/978-3-540-48654-1_28"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33296-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:11:57Z","timestamp":1606187517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33296-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642332951","9783642332968"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33296-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}