{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,11,15]],"date-time":"2023-11-15T20:22:55Z","timestamp":1700079775013},"reference-count":36,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge-Based Systems"],"published-print":{"date-parts":[[2000,11]]},"DOI":"10.1016\/s0950-7051(00)00081-2","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:57:54Z","timestamp":1027616274000},"page":"403-415","source":"Crossref","is-referenced-by-count":5,"title":["Pattern-based refinement schemas for design knowledge transfer"],"prefix":"10.1016","volume":"13","author":[{"given":"I","family":"Khriss","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.K","family":"Keller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I.A","family":"Hamid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"11","key":"10.1016\/S0950-7051(00)00081-2_BIB1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/MC.1983.1654237","article-title":"Software technology in the 1990s: using a new paradigm","volume":"16","author":"Balzer","year":"1983","journal-title":"IEEE Computer"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB2","unstructured":"R. Balzer, N. Goldman, D. Wile, On the transformational implementation approach to programming, Proceedings of Second International Conference on Software Engineering, CA San Francisco, IEEE, New York, 1976, pp. 337\u2013344."},{"issue":"2","key":"10.1016\/S0950-7051(00)00081-2_BIB3","first-page":"172","article-title":"Automatic code generation from design patterns","volume":"35","author":"Budinsky","year":"1996","journal-title":"Object Technology"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB4","series-title":"Pattern-Oriented Software Architecture \u2014 A System of Patterns","author":"Buschmann","year":"1996"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB5","series-title":"The VDM-SL Reference Guide","author":"Dawes","year":"1991"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB6","doi-asserted-by":"crossref","unstructured":"A.H. Eden, J. Jil, A. Yehuday, Precise specification and automatic application of design patterns, Proceedings of the IEEE International Automated Software Engineering Conference, 1997, pp. 143\u2013152.","DOI":"10.1109\/ASE.1997.632834"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB7","unstructured":"A.H. Eden, A. Yehuday, Tricks generate patterns, Technical report 324\/97, The Department of Computer Science, Schriber School of Mathematics, Tel Aviv University, 1997."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB8","doi-asserted-by":"crossref","unstructured":"M. Elkoutbi, I. Khriss, R.K. Keller, Generating user interfaces from scenarios, Proceedings of the Fourth IEEE International Symposium on Requirements Engineering, Limerick, Ireland, 1999, pp. 150\u2013158.","DOI":"10.1109\/ISRE.1999.777995"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB9","unstructured":"M.S. Feather, ZAP program transformation system: primer and user manual, Res. Rep. 54, Department of Artificial Intelligence, University of Edinburgh, Scotland, 1978."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB10","series-title":"Sometimes Tomorrow is sometime, Temporal Logic","volume":"vol. 827","author":"Fiadeiro","year":"1991"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB11","series-title":"Tool support in design patterns, European Conference On Object-Oriented Programming (ECOOP\u201997)","volume":"vol. 1241","author":"Florijn","year":"1997"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB12","series-title":"Design Patterns. Elements of Reusable Object-Oriented Software","author":"Gamma","year":"1995"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB13","doi-asserted-by":"crossref","unstructured":"S.L. Gerhart, Knowledge about programs, Proceedings of the International Conference on Software Reliability, CA Los Angeles, 1975, pp. 88\u201395.","DOI":"10.1145\/800027.808427"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB14","unstructured":"C. Green, The design of the PSI program synthesis, Proceedings of Second International Conference on Software Engineering, CA San Francisco, IEEE, New York, 1976, pp. 4\u201318."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB15","unstructured":"IFAD, User Manual for the IFAD VDM++ Toolbox, IFAD-VDM-50, IFAD the VDM Tool Group, 1998."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB16","doi-asserted-by":"crossref","first-page":"890","DOI":"10.1109\/TSE.1986.6313045","article-title":"Safety analysis of timing properties in real-time systems","volume":"12","author":"Jahanian","year":"1986","journal-title":"IEEE Transactions of Software Engineering"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB17","doi-asserted-by":"crossref","unstructured":"R.K. Keller, R. Schauer, S. Robitaille, P. Page, Pattern-based Reverse Engineering of Design Components, Proceedings of the 21st International Conference on Software Engineering, Los Angeles, 1999, pp. 226\u2013235.","DOI":"10.1145\/302405.302622"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB18","doi-asserted-by":"crossref","unstructured":"I. Khriss, I. Elkoutbi, R.K. Keller, Automatic synthesis of behavioural specifications from scenarios, Technical Report GELO-96, Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Qu\u00e9bec, Canada, 1999.","DOI":"10.1109\/ISRE.1999.777995"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB19","unstructured":"I. Khriss, R.K. Keller, Transformations for pattern-based forward-engineering, Proceedings of the International Workshop on Software Transformation Systems (STS\u201999), collocated with ICSE\u201999, Los Angeles, 1999, pp. 50\u201358."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB20","unstructured":"I. Khriss, R.K. Keller, Integration between high-level and low level design with refinement schemas based on design patterns, Technical Report GELO-91, Universit\u00e9 de Montr\u00e9al, Montr\u00e9al, Qu\u00e9bec, Canada, 1999."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB21","doi-asserted-by":"crossref","unstructured":"I. Khriss, M. Elkoutbi, R.K. Keller, Automating the Synthesis of UML Statechart Diagrams from Multiple Collaboration Diagrams, Proceeding of the Workshop on Unified Modelling Language (UML\u201998): Beyond the notation, Mulhouse, France, 1998, pp. 115\u2013126.","DOI":"10.1007\/978-3-540-48480-6_11"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB22","series-title":"Pattern Languages in Program Design 2","article-title":"Implementation of patterns for the observer pattern","author":"Kim","year":"1996"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB23","doi-asserted-by":"crossref","unstructured":"K. Lano, J. Bicarregui, Semantics and Transformations for UML models, Proceedings of the International Workshop on Unified Modelling Language (UML\u201998): Beyond the notation, Mulhouse, France, 1999, pp. 97\u2013106.","DOI":"10.1007\/978-3-540-48480-6_9"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB24","doi-asserted-by":"crossref","unstructured":"K. Lano, J. Bicarregui, S. Goldsack, Formalising Design Patterns, RBCS-FACS Northern Formal Methods Workshop, 1996.","DOI":"10.14236\/ewic\/FA1996.11"},{"issue":"6","key":"10.1016\/S0950-7051(00)00081-2_BIB25","doi-asserted-by":"crossref","first-page":"528","DOI":"10.1109\/32.391379","article-title":"Reusing software: issues and research directions","volume":"21","author":"Mili","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S0950-7051(00)00081-2_BIB26","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/32.385972","article-title":"Correct architecture refinement","volume":"21","author":"Moriconi","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB27","doi-asserted-by":"crossref","unstructured":"M. O'Cinn\u00e9ide, P.A. Nixon, Methodology for the automated introduction of design patterns, Proceedings of the IEEE International Conference of Software Maintenance (ICSM\u201999), 1999, pp. 463\u2013472.","DOI":"10.1109\/ICSM.1999.792644"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB28","unstructured":"W.F. Opdyke, Refactoring Object-Oriented Frameworks, PhD Thesis, University of Illinois, 1992."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB29","series-title":"Temporal Logic for Real-Time Systems","author":"Ostroff","year":"1989"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB30","series-title":"New Paradigm for Software Development","first-page":"189","article-title":"Program Transformation Systems","author":"Partsch","year":"1986"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB31","series-title":"The Unified Modelling Language Reference Manual","author":"Rumbaugh","year":"1999"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB32","series-title":"Object-oriented Modelling and Design","author":"Rumbaugh","year":"1991"},{"issue":"9","key":"10.1016\/S0950-7051(00)00081-2_BIB33","first-page":"16","article-title":"A deeper look at the transition form analysis to design","volume":"5","author":"Shlaer","year":"1993","journal-title":"Journal of Object-Oriented Programming"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB34","series-title":"The Z Notation: A Reference Manual","author":"Spivey","year":"1992"},{"key":"10.1016\/S0950-7051(00)00081-2_BIB35","unstructured":"UML, Unified Modelling Language Specification, Object Management Group, MA Framingham, 1998. Internet: www.omg.org."},{"key":"10.1016\/S0950-7051(00)00081-2_BIB36","doi-asserted-by":"crossref","unstructured":"D. Wile, R. Balzer, N. et Goldman, Automated derivation of program control structure from natural language program descriptions, Proceedings of Symposium on Artificial Intelligence and Programming Languages, Rochester, New York, 1976, pp. 77\u201384.","DOI":"10.1145\/800228.806935"}],"container-title":["Knowledge-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705100000812?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950705100000812?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T02:48:30Z","timestamp":1579229310000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950705100000812"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,11]]},"references-count":36,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2000,11]]}},"alternative-id":["S0950705100000812"],"URL":"https:\/\/doi.org\/10.1016\/s0950-7051(00)00081-2","relation":{},"ISSN":["0950-7051"],"issn-type":[{"value":"0950-7051","type":"print"}],"subject":[],"published":{"date-parts":[[2000,11]]}}}