The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development

In the methodology of PROgram development by SPECification and TRAnsformation, algebraic specifications are the basis for constructing correct and efficient programs by gradual transformation. The combination of algebraic specification and functionals increases abstraction, reduces development effort, and allows reasoning about correctness and direct optimisations. The uniformity of the approach to program and meta-program development (for transformation, proof and development tactics, command language, even library access and system configuration) is stressed and related to the generic structure of the PROSPECTRA system.

[1]  Manfred Broy,et al.  Towards a Design Methodology for Distributed Systems , 1989 .

[2]  Richard S. Bird,et al.  Introduction to functional programming , 1988, Prentice Hall International series in computer science.

[3]  Antoni Mazurkiewicz.  Mathematical Foundations of Computer Science 1976 , 1976, Lecture Notes in Computer Science.

[4]  William W. Agresti,et al.  New Paradigms for Software Development , 1986 .

[5]  David S. Wile.  Organizing Programming Knowledge into Syntax-Directed Experts , 1986, Advanced Programming Environments.

[6]  Douglas R. Smith,et al.  KIDS - A Knowledge-Based Software Development System , 1991 .

[7]  Friedrich L. Bauer,et al.  The Munich Project CIP , 1988, Lecture Notes in Computer Science.

[8]  Friedrich W. von Henke,et al.  An Algebraic Approach to Data Types, Program Verification, and Program Synthesis , 1976, MFCS.

[9]  Michael J. C. Gordon,et al.  Edinburgh LCF: A mechanised logic of computation , 1979 .

[10]  Friedrich L. Bauer,et al.  Algorithmic Language and Program Development , 1982, Texts and Monographs in Computer Science.

[11]  Douglas R. Smith,et al.  Top-Down Synthesis of Divide-and-Conquer Algorithms , 1985, Artif. Intell..

[12]  David S. Wile,et al.  Program developments: formal explanations of implementations , 1983, CACM.

[13]  Bernd Krieg-Brückner,et al.  Algebraic Specification and Fundamentals for Transformational Program and Meta Program Development , 1989, TAPSOFT, Vol.2.

[14]  Sape Mullender,et al.  Distributed systems , 1989 .

[15]  Manfred Broy,et al.  Predicative Specifications for Functional Programs Describing Communication Networks , 1987, Inf. Process. Lett..

[16]  Berthold Hoffmann,et al.  Program Development by Specification and Transformation , 1993, Lecture Notes in Computer Science.

[17]  Friedrich L. Bauer,et al.  Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming , 1989, IEEE Trans. Software Eng..

[18]  Manfred Broy,et al.  Logic of Programming and Calculi of Discrete Design , 1987, NATO ASI Series.

[19]  Harald Ganzinger.  A Completion Procedure for Conditional Equations , 1987, CTRS.

[20]  Ralf Steinbrüggen,et al.  Program Transformation Systems , 1983, CSUR.

[21]  Donald Sannella,et al.  Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL , 1991, TAPSOFT, Vol.2.

[22]  M. Sintzoff,et al.  Expressing program developments in a design calculus , 1987 .

[23]  Bernd Krieg-Brückner,et al.  The PROSPECTRA System: A Unified Development Framework , 1991, AMAST.

[24]  Manfred Broy,et al.  On the algebraic definition of programming languages , 1987, TOPL.

[25]  Richard S. Bird,et al.  Lectures on Constructive Functional Programming , 1989 .

[26]  Corrado Böhm,et al.  Automatic Synthesis of Typed Lambda-Programs on Term Algebras , 1985, Theor. Comput. Sci..

[27]  Bernd Krieg-Brückner,et al.  Algebraic Specification with Functionals in Program Development by Transformation , 1989 .

[28]  Bernd Krieg-Brückner,et al.  Algebraic Formalisation of Program Development by Transformation , 1988, ESOP.

[29]  Manfred Broy,et al.  Constructive Methods in Computing Science , 1989, NATO ASI Series.