{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:33:01Z","timestamp":1758709981198},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042102"},{"type":"electronic","value":"9783642042119"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04211-9_22","type":"book-chapter","created":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T05:36:22Z","timestamp":1251956182000},"page":"225-235","source":"Crossref","is-referenced-by-count":4,"title":["Reusing Patterns through Design Refinement"],"prefix":"10.1007","author":[{"given":"Jason O.","family":"Hallstrom","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neelam","family":"Soundarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"22_CR1","unstructured":"de Roever, W., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison, Cambridge (2001)"},{"key":"22_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1145\/44501.44503","volume":"10","author":"C. Morgan","year":"1988","unstructured":"Morgan, C.: The specification statement. ACM Transactions on Programming Languages and Systems\u00a010, 403\u2013419 (1988)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR3","volume-title":"Pattern-Oriented Software Architecture: A System of Patterns","author":"F. Buschmann","year":"1996","unstructured":"Buschmann, F., Meunier, R., Rohnert, H., Sommerlad, P., Stal, M.: Pattern-Oriented Software Architecture: A System of Patterns. John Wiley & Sons, Chichester (1996)"},{"key":"22_CR4","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)"},{"key":"22_CR5","first-page":"44","volume-title":"The 14th European Conference on Object-Oriented Programming","author":"G. Suny\u00e9","year":"2000","unstructured":"Suny\u00e9, G., Guennec, A.L., J\u00e9z\u00e9quel, J.: Design patterns application in UML. In: The 14th European Conference on Object-Oriented Programming, pp. 44\u201362. Springer, Heidelberg (2000)"},{"key":"22_CR6","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1109\/ICSE.2004.1317488","volume-title":"The 26th International Conference on Software Engineering","author":"N. Soundarajan","year":"2004","unstructured":"Soundarajan, N., Hallstrom, J.: Responsibilities and rewards: Specifying design patterns. In: The 26th International Conference on Software Engineering, pp. 666\u2013675. IEEE Computer Society, Los Alamitos (2004)"},{"key":"22_CR7","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11693017_17","volume-title":"The 9th International Conference on Fundamental Approaches to Software Engineering","author":"J. Hallstrom","year":"2006","unstructured":"Hallstrom, J., Soundarajan, N., Tyler, B.: Amplifying the benefits of design patterns. In: The 9th International Conference on Fundamental Approaches to Software Engineering, pp. 214\u2013229. Springer, Heidelberg (2006)"},{"key":"22_CR8","unstructured":"Eden, A.: Formal specification of object-oriented design. In: The International Conference on Multidisciplinary Design in Engineering (2001)"},{"key":"22_CR9","first-page":"149","volume-title":"The 6th World Conference on Integrated Design and Process Technology","author":"A. Eden","year":"2002","unstructured":"Eden, A.: LePUS: a visual formalism for object-oriented architectures. In: The 6th World Conference on Integrated Design and Process Technology, pp. 149\u2013159. IEEE Computer Society, Los Alamitos (2002)"},{"key":"22_CR10","first-page":"257","volume-title":"The 11th Asia-Pacific Software Engineering Conference","author":"S. Kim","year":"2004","unstructured":"Kim, S., Carrington, D.: Using integrated metamodeling to define OO design patterns with Object-Z and UML. In: The 11th Asia-Pacific Software Engineering Conference, pp. 257\u2013264. IEEE Computer Society, Los Alamitos (2004)"},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.5381\/jot.2002.1.5.a3","volume":"1","author":"J. Dong","year":"2002","unstructured":"Dong, J.: UML extensions for design pattern compositions. Journal of Object Technology\u00a01, 151\u2013163 (2002)","journal-title":"Journal of Object Technology"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Lano, K.: Formalising design patterns as model transformations. In: Design Pattern Formalization Techniques, pp. 156\u2013182. IGI Publishers (2007)","DOI":"10.4018\/978-1-59904-219-0.ch008"},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1109\/ICSE.1998.671108","volume-title":"The 20th International Conference on Software Engineering","author":"T. Mikkonen","year":"1998","unstructured":"Mikkonen, T.: Formalizing design patterns. In: The 20th International Conference on Software Engineering, pp. 115\u2013124. IEEE Computer Society, Los Alamitos (1998)"},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Helin, J., Kellom\u00e4ki, P., Mikkonen, T.: Patterns of collective behavior in Ocsid. In: Design Pattern Formalization Techniques, pp. 73\u201393. IGI Publishers (2007)","DOI":"10.4018\/978-1-59904-219-0.ch004"},{"key":"22_CR15","doi-asserted-by":"publisher","first-page":"127","DOI":"10.5381\/jot.2003.2.4.a4","volume":"2","author":"T. Taibi","year":"2003","unstructured":"Taibi, T., Ngo, D.: Formal specification of design patterns \u2013 a balanced approach. Journal of Object Technology\u00a02, 127\u2013140 (2003)","journal-title":"Journal of Object Technology"},{"key":"22_CR16","first-page":"169","volume-title":"The European Conference on Object-Oriented Programming","author":"R. Helm","year":"1990","unstructured":"Helm, R., Holland, I., Gangopadhyay, D.: Contracts: Specifying behavioral compositions in object-oriented systems. In: The European Conference on Object-Oriented Programming, pp. 169\u2013180. ACM Press, New York (1990)"},{"key":"22_CR17","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/52.311067","volume":"11","author":"D. Batory","year":"1994","unstructured":"Batory, D., Singhal, V., Thomas, J., Dasari, S., Geraci, B., Sirkin, M.: The GenVoca model of software-system generators. IEEE Software\u00a011, 89\u201394 (1994)","journal-title":"IEEE Software"},{"key":"22_CR18","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1023\/A:1018924407841","volume":"5","author":"T. Biggerstaff","year":"1998","unstructured":"Biggerstaff, T.: A perspective of generative reuse. Annals of Software Engineering\u00a05, 169\u2013226 (1998)","journal-title":"Annals of Software Engineering"},{"key":"22_CR19","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/73103.73115","volume-title":"Software Reusability: Concepts and Models","author":"J. Neighbors","year":"1989","unstructured":"Neighbors, J.: Draco: A method for engineering reusable software systems. In: Software Reusability: Concepts and Models, vol.\u00a01, pp. 295\u2013319. ACM Press, New York (1989)"}],"container-title":["Lecture Notes in Computer Science","Formal Foundations of Reuse and Domain Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04211-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,22]],"date-time":"2020-05-22T00:12:40Z","timestamp":1590106360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04211-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042102","9783642042119"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04211-9_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}