{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:20:59Z","timestamp":1725456059458},"publisher-location":"Berlin\/Heidelberg","reference-count":44,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354054576X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018267","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:53:51Z","timestamp":1132646031000},"page":"19-33","source":"Crossref","is-referenced-by-count":0,"title":["Transformational meta program development"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Berghammer, R., Broy, M., Dosch, W., Gnatz, R., Geiselbrechtinger, F., Hangel, E., Hesse, W., Krieg.-Br\u00fcckner, B., Laut, A., Matzner, T.A., M\u00f6ller, B., Nickl, F., Partsch, H., Pepper, P., Samelson, K., Wirsing, M., W\u00f6ssner, H.: The Munich Project CIP, Vol. 1: The Wide Spectrum Language CIP-L. LNCS 183, Springer 1985.","key":"2_CR1","DOI":"10.1007\/3-540-15187-7"},{"doi-asserted-by":"crossref","unstructured":"Bauer, F.L., Ehler, H., Horsch, B., M\u00f6ller, B., Partsch, H., Paukner, O., Pepper, P.,: The Munich Project CIP, Vol. 2: The Transformation System CIP-S. LNCS 292, Springer 1987.","key":"2_CR2","DOI":"10.1007\/3-540-18779-0"},{"issue":"2","key":"2_CR3","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/32.21743","volume":"15","author":"F.L. Bauer","year":"1989","unstructured":"Bauer, F.L., M\u00f6ller, B., Partsch, H., Pepper, P.: Formal Program Construction by Stepwise Transformations \u2014 Computer-Aided Intuition-Guided Programming IEEE Trans. on SW Eng. 15:2 (1989) 165\u2013180.","journal-title":"IEEE Trans. on SW Eng."},{"doi-asserted-by":"crossref","unstructured":"Bauer, F.L., W\u00f6ssner, H.: Algorithmic Language and Program Development. Springer 1982.","key":"2_CR4","DOI":"10.1007\/978-3-642-61807-9"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0167-6423(86)90023-7","volume":"6","author":"R.S. Bird","year":"1986","unstructured":"Bird, R.S.: Transformational Programming and the Paragraph Problem. Science of Computer Programming 6 (1986) 159\u2013189.","journal-title":"Science of Computer Programming"},{"unstructured":"Bird, R., Wadler, Ph.: Introduction to Functional Programming. Prentice Hall, 1988.","key":"2_CR6"},{"doi-asserted-by":"crossref","unstructured":"Bird, R.: Lectures on Constructive Functional Programming. in: Broy, M. (ed.): Constructive Methods in Computing Science. Springer (1989) 1\u201365.","key":"2_CR7","DOI":"10.1007\/978-3-642-74884-4_5"},{"unstructured":"Breu, M., Broy, M., Gr\u00fcnler, Th., Nickl, F.: PAnndA-S Semantics. PROSPECTRA Study Note M.2.1.S1-SN-1.4, Universit\u00e4t Passau, 1989.","key":"2_CR8"},{"doi-asserted-by":"crossref","unstructured":"Broy, M.: Equational Specification of Partial Higher Order Algebras. in: Broy, M. (ed.): Logic of Programming and Calculi of Discrete Design. NATO ASI Series, Vol. F36, Springer (1987) 185\u2013241.","key":"2_CR9","DOI":"10.1007\/978-3-642-87374-4_8"},{"issue":"2","key":"2_CR10","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0020-0190(87)90227-4","volume":"25","author":"M. Broy","year":"1987","unstructured":"Broy, M.: Predicative Specification for Functional Programs Describing Communicating Networks. Information Processing Letters 25:2 (1987) 93\u2013101.","journal-title":"Information Processing Letters"},{"unstructured":"Broy, M.: An Example for the Design of Distributed Systems in a Formal Setting: The Lift Problem. Universit\u00e4t Passau, Tech. Rep. MIP 8802 (1988).","key":"2_CR11"},{"doi-asserted-by":"crossref","unstructured":"Broy, M.: Towards a Design Methodology for Distributed Systems. in: Broy, M. (ed.): Constructive Methods in Computing Science. Springer (1989) 311\u2013364.","key":"2_CR12","DOI":"10.1007\/978-3-642-74884-4_10"},{"key":"2_CR13","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1145\/9758.10501","volume":"9","author":"M. Broy","year":"1987","unstructured":"Broy, M., Pepper, P., Wirsing, M.: On the Algebraic Definition of Programming Languages. ACM TOPLAS 9 (1987) 54\u201399.","journal-title":"ACM TOPLAS"},{"key":"2_CR14","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/BF00625280","volume":"18","author":"M. Broy","year":"1982","unstructured":"Broy, M., Wirsing, M.: Partial Abstract Types. Acta Informatica 18 (1982) 47\u201364.","journal-title":"Acta Informatica"},{"unstructured":"Feijs, L.M.G., Jonkers, H.B.M, Obbink, J.H., Koymans, P.P.J., Renardel de Lavalette, G.R., Rodenburg, P.M.: A Survey of the Design Language Cold. in: Proc. ESPRIT Conf. 86 (Results and Achievements). North Holland (1987) 631\u2013644.","key":"2_CR15"},{"doi-asserted-by":"crossref","unstructured":"Ganzinger, H.: Ground Term Confluence in Parametric Conditional Equational Specifications. in: Brandenburg, F.J., Vidal-Naquet, G., Wirsing, M.(eds.): Proc. 4th Annual Symp. on Theoretical Aspects of Comp. Sci., Passau '87. LNCS 247 (1987) 286\u2013298.","key":"2_CR16","DOI":"10.1007\/BFb0039613"},{"unstructured":"Ganzinger, H.: A Completion Procedure for Conditional Equations. Techn. Bericht No. 243, Fachbereich Informatik, Universit\u00e4t Dortmund, 1987 (to appear in J. Symb. Comp.)","key":"2_CR17"},{"unstructured":"Gordon, M., Milner, R., Wadsworth, Ch.: Edinburgh LCF: A Mechanised Logic of Computation. LNCS 78.","key":"2_CR18"},{"doi-asserted-by":"crossref","unstructured":"Heckmann, R.: A Functional Language for the Specification of Complex Tree Transformations. in: Proc. European Symposium On Programming '88, LNCS 300 (1988).","key":"2_CR19","DOI":"10.1007\/3-540-19027-9_12"},{"unstructured":"J\u00e4hnichen, S., Hussain, F.A., Weber, M.: Program Development Using a Design Calculus. in: Rogers, M. W. (ed.): Results and Achievements, Proc. ESPRIT Conf. '86. North Holland (1987) 645\u2013658.","key":"2_CR20"},{"unstructured":"Karlsen, E., Joergensen, J., Krieg-Br\u00fcckner, B.: Functional in PAnndA-S. PROSPECTRA Study Note S.3.1.C1-SN-10.0, Dansk Datamatic Center, 1988.","key":"2_CR21"},{"unstructured":"Krieg-Br\u00fcckner, B.: Systematic Transformation of Interface Specifications. in: Meertens, L.G.T.L. (ed.): Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (T\u00f6lz '86). North Holland (1987) 269\u2013291.","key":"2_CR22"},{"unstructured":"Krieg-Br\u00fcckner, B.: Formalisation of Developments: An Algebraic Approach. in: Rogers, M. W. (ed.): Achievements and Impact. Proc. ESPRIT Conf. 87. North Holland (1987) 491\u2013501.","key":"2_CR23"},{"doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Formalisation of Program Development by Transformation. in: Proc. European Symposium On Programming '88, LNCS 300 (1988) 34\u201348.","key":"2_CR24","DOI":"10.1007\/3-540-19027-9_3"},{"key":"2_CR25","first-page":"257","volume-title":"Proc. IFIP\/IFAC Working Conf. on HW and SW for Real Time Process Control","author":"B. Krieg-Br\u00fcckner","year":"1988","unstructured":"Krieg-Br\u00fcckner, B.: The PROSPECTRA Methodology of Program Development. in: Zalewski (ed.): Proc. IFIP\/IFAC Working Conf. on HW and SW for Real Time Process Control (Warsaw). North Holland (1988) 257\u2013271."},{"doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Specification and Functionals for Transformational Program and Meta Program Development. in D\u00edaz, J., Orejas, F. (eds.): Proc. TAPSOFT '89 (Barcelona), Vol. 2. LNCS 352 (1989) 36\u201359.","key":"2_CR26","DOI":"10.1007\/3-540-50940-2_26"},{"doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Specification with Functionals in Program Development by Transformation. in: ESPRIT '89, Proc. 6th Annual ESPRIT Conference, Kluwer Acad. Publ. (1989) 302\u2013320.","key":"2_CR27","DOI":"10.1007\/978-94-009-1063-8_25"},{"unstructured":"Krieg-Br\u00fcckner, B. (ed.): PROgram development by SPECification and TRAnsformation: Part I: The PROSPECTRA Methodology, Part II: The PROSPECTRA Language Family, Part III: The PROSPECTRA System. PROSPECTRA Reports M.1.1.S3-R-55.1,-56.1,-57.1. Universit\u00e4t Bremen, 1990. (to be published).","key":"2_CR28"},{"doi-asserted-by":"crossref","unstructured":"Luckham, D.C., von Henke, F.W., Krieg-Br\u00fcckner, B., Owe, O.: Anna, a Language for Annotating Ada Programs, Reference Manual. LNCS 260, Springer (1987).","key":"2_CR29","DOI":"10.1007\/3-540-17980-1"},{"unstructured":"M\u00f6ller, B.: Algebraic Specification with Higher Order Operators. in: Meertens, L.G.T.L. (ed.): Program Specification and Transformation, Proc. IFIP TC2 Working Conf. (T\u00f6lz '86). North Holland (1987) 367\u2013398.","key":"2_CR30"},{"unstructured":"Nickl, F., Broy, M., Breu, M., Dederichs, F., Gr\u00fcnler, Th.: Towards a Semantics of Higher Order Specifications in PAnndA-S. PROSPECTRA Study Note M.2.1.S1-SN-2.0, Universit\u00e4t Passau, 1988.","key":"2_CR31"},{"unstructured":"Owe. O.: An Approach to Program Reasoning Based on a First Order Logic for Partial Functions. Research Report No. 89, Institute of Informatics, University of Oslo, 1985.","key":"2_CR32"},{"key":"2_CR33","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/356914.356917","volume":"15","author":"H. Partsch","year":"1983","unstructured":"Partsch, H., Steinbr\u00fcggen, R.: Program Transformation Systems. ACM Computing Surveys 15 (1983) 199\u2013236.","journal-title":"ACM Computing Surveys"},{"unstructured":"Reference Manual for the Ada Programming Language. ANSI\/MIL.STD 1815A. US Government Printing Office, 1983. Also in: Rogers, M. W. (ed.): Ada: Language, compilers and Bibliography. Ada Companion Series, Cambridge University Press, 1984.","key":"2_CR34"},{"doi-asserted-by":"crossref","unstructured":"Reps., Teitelbaum: The Synthesizer Generator. Springer, 1988.","key":"2_CR35","DOI":"10.1007\/978-1-4613-9623-9"},{"doi-asserted-by":"crossref","unstructured":"Reps., Teitelbaum: The Synthesizer Generator; Reference Manual. Springer, 1988.","key":"2_CR36","DOI":"10.1007\/978-1-4613-9633-8"},{"doi-asserted-by":"crossref","unstructured":"Sintzoff, M.: Expressing Program Developments in a Design Calculus. in: Broy, M. (ed.): Logic of Programming and Calculi of Discrete Design. NATO ASI Series, Vol. F36, Springer (1987) 343\u2013365.","key":"2_CR37","DOI":"10.1007\/978-3-642-87374-4_13"},{"issue":"1","key":"2_CR38","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0004-3702(85)90083-9","volume":"27","author":"D.R. Smith","year":"1985","unstructured":"Smith, D.R.: Top-Down Synthesis of Divide-and-Conquer Algorithms. Artificial Intelligence 27:1 (1985) 43\u201395.","journal-title":"Artificial Intelligence"},{"key":"2_CR39","volume-title":"Rep. TUM-I8206","author":"R. Steinbr\u00fcggen","year":"1982","unstructured":"Steinbr\u00fcggen, R.: Program Development using Transformational Expressions. Rep. TUM-I8206, Institut f\u00fcr Informatik, TU M\u00fcnchen, 1982."},{"unstructured":"Traynor, O.: The Methodology of Verification in PROSPECTRA. PROSPECTRA Study Note S.3.4.-SN-19.0, University of Strathclyde, 1989.","key":"2_CR40"},{"unstructured":"Traynor, O.: The PROSPECTRA Proof Editor. PROSPECTRA Study Note S.3.4.-SN-15.2, University of Strathclyde, 1989.","key":"2_CR41"},{"doi-asserted-by":"crossref","unstructured":"von Henke, F.W.: An Algebraic Approach to Data Types, Program Verification and Program Synthesis. in: Mazurkiewicz, A. (ed.): Mathematical Foundations of Computer Science 1976. LNCS 45 (1976) 330\u2013336.","key":"2_CR42","DOI":"10.1007\/3-540-07854-1_195"},{"issue":"11","key":"2_CR43","doi-asserted-by":"crossref","first-page":"902","DOI":"10.1145\/182.358443","volume":"26","author":"D. S. Wile","year":"1983","unstructured":"Wile, D. S.: Program Developments: Formal Explanations of Implementations. CACM 26: 11 (1983) 902\u2013911. also in: Agresti, W. A. (ed.): New Paradigms for Software Development. IEEE Computer Society Press\/North Holland (1986) 239\u2013248.","journal-title":"CACM"},{"key":"2_CR44","first-page":"551","volume":"244","author":"D. S. Wile","year":"1986","unstructured":"Wile, D. S.: Organizing Programming Knowledge into Syntax Directed Experts. Proc. Int'l Workshop on Advanced Programming Environments (Trondheim). LNCS 244 (1986) 551\u2013565.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","Methods of Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0018267","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:57:35Z","timestamp":1586573855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018267"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354054576X"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/bfb0018267","relation":{},"subject":[]}}