{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:27Z","timestamp":1725455727154},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540605898"},{"type":"electronic","value":"9783540478027"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0015467","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:32:11Z","timestamp":1131863531000},"page":"268-284","source":"Crossref","is-referenced-by-count":3,"title":["Towards correct, efficient and reusable transformational developments"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]},{"given":"Junbo","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Hui","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Burkhard","family":"Wolff","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"unstructured":"R.C. Backhouse, P.J. de Bruin, G. Malcolm, E. Voermans, J. van der Woude. Relational Catamorphisms. In B. M\u00f6ller (eds.): Proc. IFIP TC2 Working Conference on Constructing Programs from Specifications, pp. 278\u2013309, 1991.","key":"15_CR1"},{"doi-asserted-by":"crossref","unstructured":"L. Bachmair. Canonical Equational Proofs. 1991.","key":"15_CR2","DOI":"10.1007\/978-1-4684-7118-2"},{"key":"15_CR3","first-page":"45","volume":"669","author":"R.S. Bird","year":"1992","unstructured":"R.S. Bird, O. de Moor. Solving Optimizations with Catamorphisms. LNCS 669, pp. 45\u201367, 1992.","journal-title":"LNCS"},{"unstructured":"M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger, K. St\u00f8len. The Requirement and Design Specification Language SPECTRUM: An Informal Introduction. Technical Report TUM-19311 (19312), Institut f\u00fcr Informatik, Technische Universit\u00e4t M\u00fcnchen, 1993.","key":"15_CR4"},{"doi-asserted-by":"crossref","unstructured":"F.L. Bauer, H. W\u00f6ssner. Algorithmic Language and Program Development. Springer 1982.","key":"15_CR5","DOI":"10.1007\/978-3-642-61807-9"},{"doi-asserted-by":"crossref","unstructured":"F.L. Bauer, R. Berghammer, M. Broy, W. Dosch, R. Gnatz, F. Geiselbrechtinger, E. Hangel, W. Hesse, B. Krieg-Br\u00fcckner, A. Laut, T.A. Matzner, B. M\u00f6ller, F. Nickl, H. Partsch, P. Pepper, K. Samelson, M. Wirsing, H. W\u00f6ssner. The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. LNCS 183, 1985.","key":"15_CR6","DOI":"10.1007\/3-540-15187-7"},{"doi-asserted-by":"crossref","unstructured":"F.L. Bauer, H. Ehler, B. Horsch, B. M\u00f6ller, H. Partsch, O. Paukner, P. Pepper. The Munich Project CIP, Vol. 2: The Transformation System CIP-S. LNCS 292, 1987.","key":"15_CR7","DOI":"10.1007\/3-540-18779-0"},{"unstructured":"J. Farres-Cassals. Verification in ASL and Related Specification Languages. Phd Thesis, LFCS Report ECS-LFCS-92-220, Dept. of Computer Science, University of Edinburgh, 1992.","key":"15_CR8"},{"issue":"No.1","key":"15_CR9","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"J.A. Goguen, R.M. Burstall. Institutions: Abstract Model Theory for Specification and Programming. J. ACM, vol. 39, No. 1, pp. 95\u2013146, 1992.","journal-title":"J. ACM"},{"doi-asserted-by":"crossref","unstructured":"B. Hoffmann, B. Krieg-Br\u00fcckner (eds.). Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680, 1993.","key":"15_CR10","DOI":"10.1007\/3-540-56733-X"},{"doi-asserted-by":"crossref","unstructured":"G. Huet, B. Lang (eds.). Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Informatica 11, pp. 30\u201355, 1978.","key":"15_CR11","DOI":"10.1007\/BF00264598"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1137\/0215084","volume":"15","author":"J.-P. Jouannaud","year":"1986","unstructured":"J.-P. Jouannaud, E. Kirchner. Completion of a Set of Rules Modulo a Set of Equations. SIAM J. Compt. 15, pp. 1155\u20131194, 1986.","journal-title":"SIAM J. Compt."},{"doi-asserted-by":"crossref","unstructured":"B. Krieg-Br\u00fcckner. Algebraic Specification and Functional for Transformational Program and Meta-Program Development. In J. Diaz, F. Orejas (eds.): Proc. TAPSOFT 89, LNCS 352, pp.35\u201359, 1989.","key":"15_CR13","DOI":"10.1007\/3-540-50940-2_26"},{"unstructured":"B. Krieg-Br\u00fcckner (Hrsg.). Programmentwicklung durch Spezifikation und Transformation \u2014 Bremer Beitr\u00e4ge zum Verbundprojekt KORSO (Korrekte Software). Technical Report 1\/94, Universit\u00e4t Bremen, 1994.","key":"15_CR14"},{"unstructured":"B. Krieg-Br\u00fcckner (Hrsg.). Programmentwicklung durch Spezifikation und Transformation \u2014 Bremer Beitr\u00e4ge zum Verbundprojekt KORSO (Korrekte Software); Band 2. Technical Report 10\/94, Universit\u00e4t Bremen, 1994.","key":"15_CR15"},{"unstructured":"B. Krieg-Br\u00fcckner, E.W. Karlsen, J. Liu, O Traynor. The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. in: S. Prehn, W.J. Toetenel (eds.): VDM'91, Formal Software Development Methods; Vol. 2: Tutorials. LNCS 552, pp. 363\u2013397, 1991.","key":"15_CR16"},{"unstructured":"J.W. Klop. Term Rewriting Systems. S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum (eds): Handbook of Logic in Computer Science, Vol 2, Chapter 1. Oxford Science Publications, pp. 1\u2013116, 1992.","key":"15_CR17"},{"unstructured":"B. Krieg-Br\u00fcckner, W. Menzel, W. (eds.), W. Reif, H. Ruess, Th. Santen, D. Schwier, G. Schellhorn, K. Stenzel, W. Stephan. System Architecture Framework for KORSO. in [KB94a].","key":"15_CR18"},{"unstructured":"Kolyang, B. Wolff, J. Liu. Transformational Development of the LEX Example. in [KB94b].","key":"15_CR19"},{"doi-asserted-by":"crossref","unstructured":"J. Liu. A Semantic Basis for Logic-Independent Transformations. In F. Orejas (eds.): Proc. 9th WADT-COMPASS Workshop, LNCS 785, pp. 268\u2013279, 1994, also in [KB94a].","key":"15_CR20","DOI":"10.1007\/3-540-57867-6_16"},{"unstructured":"J. Liu. Higher-Order Structured Presentation in a Logical Framework. Dissertation, Universit\u00e4t Bremen, 1994.","key":"15_CR21"},{"unstructured":"J. Liu. Formal Correctness Proof of a Transformation Rule in LEGO: Split of Postcondition, Technical Report 95, Universit\u00e4t Bremen, 1995.","key":"15_CR22"},{"unstructured":"B. M\u00f6ller. Relations as a Program Development Language. In B. M\u00f6ller (eds.): Proc. IFIP TC2 Working Conference on Constructing Programs from Specifications. pp. 353\u2013376, 1991.","key":"15_CR23"},{"unstructured":"V. van Oostrom. Lambda Calculus with Patterns. Dept. of Mathematics and Computer Science, Vrije Universiteit, Technical Report, 1990.","key":"15_CR24"},{"unstructured":"P. Pepper, M. Wirsing. A Method for the Development of Correct Software (in this volume).","key":"15_CR25"},{"unstructured":"H. Shi. Extended Matching and Application to Program Transformation. Dissertation, Universit\u00e4t Bremen, 1994.","key":"15_CR26"},{"doi-asserted-by":"crossref","unstructured":"D. Sannella, A. Tarlecki. Towards formal development of programs from algebraic specifications: implementations revisited. In H. Ehrig et al.(eds.): Proc. TAPSOFT 87, LNCS 249, pp. 96\u2013110, 1987.","key":"15_CR27","DOI":"10.1007\/3-540-17660-8_50"},{"key":"15_CR28","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. Sannella","year":"1988","unstructured":"D. Sannella, A. Tarlecki. Specification in an arbitrary institution. Information and Computation 76, pp. 165\u2013210, 1988.","journal-title":"Information and Computation"},{"unstructured":"H. Shi, B. Wolff. A Finitary Matching Algorithm for Constructor Based Theories. in [KB94a].","key":"15_CR29"},{"issue":"5","key":"15_CR30","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/BF01212485","volume":"5","author":"M. Weber","year":"1993","unstructured":"M. Weber. Definition and Basic Properties of the Deva Meta-Calculus. Formal Aspects of Computing 5 (5), pp. 391\u2013431, 1993.","journal-title":"Formal Aspects of Computing"},{"unstructured":"B. Wolff. Proving Transformations in Isabelle. in [KB94b].","key":"15_CR31"},{"unstructured":"B. Wolff, H. Shi. A Calculus of Transformation. in [KB94b].","key":"15_CR32"}],"container-title":["Lecture Notes in Computer Science","KORSO: Methods, Languages, and Tools for the Construction of Correct Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0015467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T20:47:13Z","timestamp":1586551633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0015467"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540605898","9783540478027"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0015467","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}