{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:12:55Z","timestamp":1725455575659},"publisher-location":"Berlin\/Heidelberg","reference-count":48,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540548688"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0020000","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:58:00Z","timestamp":1131861480000},"page":"363-397","source":"Crossref","is-referenced-by-count":0,"title":["The PROSPECTRA methodology and system: uniform transformational (meta-) development"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Krieg-Br\u00fcckner","sequence":"first","affiliation":[]},{"given":"Einar W.","family":"Karlsen","sequence":"additional","affiliation":[]},{"given":"Junbo","family":"Liu","sequence":"additional","affiliation":[]},{"given":"Owen","family":"Traynor","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Alt, M., Fecht, C., Ferdinand, C., Wilhelm, R.: TrafoLa-H Subsystem, in [Krieg-Br\u00fcckner, Hoffmann 91], Part III."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Bauer, F.L., W\u00f6ssner, H.: Algorithmic Language and Program Development. Springer 1982.","DOI":"10.1007\/978-3-642-61807-9"},{"key":"6_CR3","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, Part 1: The Wide Spectrum Language CIP-L. LNCS 183, Springer 1985.","DOI":"10.1007\/3-540-15187-7"},{"key":"6_CR4","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, Part 2: The Transformation System CIP-S. LNCS 292, Springer 1987.","DOI":"10.1007\/3-540-18779-0"},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","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."},{"key":"6_CR6","unstructured":"Bertling, H., Ganzinger, H., Sch\u00e4fers, R., Nieuwenhuis, R., Orejas, F.: Completion. and Completion Subsystem. in [Krieg-Br\u00fcckner, Hoffmann 91], Part I and Part III."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Bird, R.: Lectures on Constructive Functional Programming. in: Broy, M. (ed.): Constructive Methods in Computing Science. NATO ASI Series F55, Springer (1989) 151\u2013218.","DOI":"10.1007\/978-3-642-74884-4_5"},{"key":"6_CR8","unstructured":"Bird, R., Wadler, Ph.: Introduction to Functional Programming. Prentice Hall, 1988."},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","volume":"39","author":"C. B\u00f6hm","year":"1985","unstructured":"B\u00f6hm, C., Berarducci, A.: Automatic Synthesis of Typed Lambda-Programs on Term Algebras. Theoretical Computer Science 39 (1985) 135\u2013154.","journal-title":"Theoretical Computer Science"},{"key":"6_CR10","unstructured":"Breu, M., Broy, M., Gr\u00fcnler, T., Nickl, F.: Semantics of PAnndA-S. in [Krieg-Br\u00fcckner, Hoffmann 91], Part II."},{"issue":"2","key":"6_CR11","doi-asserted-by":"publisher","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 Net-works. Information Processing Letters 25:2 (1987) 93\u2013101.","journal-title":"Information Processing Letters"},{"key":"6_CR12","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":"6_CR13","doi-asserted-by":"crossref","unstructured":"Broy, M.: Towards a Design Methodology for Distributed Systems. in: Broy, M. (ed.): Constructive Methods in Computing Science. NATO ASI Series F55, Springer (1989) 311\u2013364.","DOI":"10.1007\/978-3-642-74884-4_10"},{"key":"6_CR14","doi-asserted-by":"publisher","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":"6_CR15","unstructured":"de la Cruz, P., Ma\u00f1as, J.L.: TrafoLa-S Reference Manual and TrafoLa-S Editor. in [Krieg-Br\u00fcckner, Hoffmann 91], Part II and III."},{"key":"6_CR16","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":"6_CR17","unstructured":"Ganzinger, H.: A Completion Procedure for Conditional Equations. Techn. Bericht No. 243, Fachbereich Informatik, Universit\u00e4t Dortmund, 1987 (also in J. Symb. Comp.)"},{"key":"6_CR18","unstructured":"Gordon, M., Milner, R., Wadsworth, Ch.: Edinburgh LCF: A Mechanised Logic of Computation. LNCS 78."},{"key":"6_CR19","unstructured":"Heckmann, R., Sander, G.: TrafoLa-H Reference Manual. in [Krieg-Br\u00fcckner, Hoffmann 91], Part II."},{"key":"6_CR20","unstructured":"Hoffmann, B., Shi, H. (eds.): Annotated Bibliography of the PROSPECTRA Project. PROSPECTRA document P.M3-MM-17.10. Universit\u00e4t Bremen, 1991."},{"key":"6_CR21","unstructured":"Houdier, D.: Library Manager. in [Krieg-Br\u00fcckner, Hoffmann 91], Part III."},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00264598","volume":"11","author":"G. Huet","year":"1978","unstructured":"Huet, G., Lang, B.: Proving and applying program transformations expressed as second order patterns. Acta Informatica 11 (1978) 31\u201355.","journal-title":"Acta Informatica"},{"key":"6_CR23","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":"6_CR24","unstructured":"Karlsen, E.W., Krieg-Br\u00fcckner, B., Traynor, O.: The PROSPECTRA System: A Unified Development Framwork. In: Rus, T. (ed.): Proc. Second Conf. on Algebraic Methodology and Software Technology (AMAST), LNCS (1991) (to appear)."},{"key":"6_CR25","first-page":"269","volume-title":"Program Specification and Transformation","author":"B. Krieg-Br\u00fcckner","year":"1987","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":"6_CR26","unstructured":"Krieg-Br\u00fcckner, B.: Integration of Program Construction and Verification: the PROSPECTRA Project. in: Habermann, N., Montanari, U. (eds.): Innovative Software Factories and Ada. Proc. CRAI Int'l Spring Conf. '86. LNCS 275 (1987) 173\u2013194."},{"key":"6_CR27","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.","DOI":"10.1007\/3-540-19027-9_3"},{"key":"6_CR28","first-page":"257","volume-title":"The PROSPECTRA Methodology of Program Development","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."},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Specification and Functional for Transformational Program and Meta-Program Development. in: Diaz, J., Orejas, F. (eds.): Proc. TAPSOFT '89 (Barcelona) Part 2. LNCS 352 (1989) 36\u201359 (invited paper).","DOI":"10.1007\/3-540-50940-2_26"},{"key":"6_CR30","doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B.: Algebraic Specification with Functionals in Program Development by Transformation. in: H\u00fcnke, H. (ed.): Proc. ESPRIT Conf. '89, Kluver Academic Publishers (1989) 302\u2013320.","DOI":"10.1007\/978-94-009-1063-8_25"},{"key":"6_CR31","unstructured":"Krieg-Br\u00fcckner, B.: PROgram development by SPECification and TRAnsformation. Technique et Science Informatiques Special Issue on Software Engineering in ESPRIT (1990) 136\u2013149."},{"key":"6_CR32","unstructured":"Krieg-Br\u00fcckner, B., Hoffmann, B. (eds.): PROgram development by SPECification and TRAnsformation: Part I: Methodology, Part II: Language Family, Part III: System. PROSPECTRA Reports M.1.1.S3-R-55.2,-56.2,-57.2. Universit\u00e4t Bremen, 1990. (to appear in LNCS 1991)."},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Krieg-Br\u00fcckner, B., Sannella, D.: Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL. Proc TAPSOFT '91, LNCS (1991)","DOI":"10.1007\/3540539816_74"},{"key":"6_CR34","unstructured":"Marcuzzi, A.: Controller and System Development. in [Krieg-Br\u00fcckner, Hoffmann 91], Part III."},{"key":"6_CR35","unstructured":"de Miguel, J.A.: CSG Scripts Language and System Development Components. in [Krieg-Br\u00fcckner, Hoffmann 91], Part II and III."},{"key":"6_CR36","first-page":"367","volume-title":"Program Specification and Transformation","author":"B. M\u00f6ller","year":"1987","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":"6_CR37","doi-asserted-by":"publisher","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"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"Reps., Teitelbaum: The Synthesizer Generator and The Synthesizer Generator; Reference Manual. Springer, 1988.","DOI":"10.1007\/978-1-4613-9633-8"},{"key":"6_CR39","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, Part F36, Springer (1987) 343\u2013365.","DOI":"10.1007\/978-3-642-87374-4_13"},{"issue":"1","key":"6_CR40","doi-asserted-by":"publisher","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":"6_CR41","unstructured":"Smith, D.R.: KIDS \u2014 a Knowledge-Based Software Development System. Automating Software Design,: AAAI Press (1991) (to appear)."},{"key":"6_CR42","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0167-6423(90)90025-9","volume":"14","author":"D.R. Smith","year":"1990","unstructured":"Smith, D.R., Lowry, M.R.: Algorithm Theories and Design Tactics. Science of Computer Programming 14:(1990) 305\u2013321.","journal-title":"Science of Computer Programming"},{"key":"6_CR43","unstructured":"Traynor, O.: The Methodology of Verification in PROSPECTRA. PROSPECTRA Study Note S.3.4.-SN-19.0, University of Strathclyde, 1989. (in [Krieg-Br\u00fcckner, Hoffmann 91], Part I)"},{"key":"6_CR44","unstructured":"Traynor, O.: The PROSPECTRA Proof Editor. PROSPECTRA Study Note S.3.4.-SN-15.2, University of Strathclyde, 1989. (in [Krieg-Br\u00fcckner, Hoffmann 91], Part III)"},{"key":"6_CR45","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.","DOI":"10.1007\/3-540-07854-1_195"},{"key":"6_CR46","unstructured":"Weber, R.: Distributed Systems. in [Krieg-Br\u00fcckner, Hoffmann 91], Part I."},{"issue":"11","key":"6_CR47","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":"6_CR48","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","VDM '91 Formal Software Development Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0020000.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:43:53Z","timestamp":1607550233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0020000"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540548688"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/bfb0020000","relation":{},"subject":[]}}