Methods of Programming: Selected Papers on the CIP-Project

ISBN-13: 9783540545767 / Angielski / Miękka / 1991 / 250 str.

Manfred Broy;Martin Wirsing

Opis

The systematic development of software systems is a central task of computing science. A software system is the result of putting together knowledge about the application, requirements and structures of computing science. This collection of papers presents examples of a formal approach to programming language concepts and program development, based on algebraic specification and program transformations. Examples are also presented of the evolution and modification of the original ideas of a project known as CIP (Computer-Aided Intuition-Guided Programming). The topics range from descriptions of the program development process to derivations of algorithms from specifications.

Spis treści

Two metamodels for application system development conventional vs. object-oriented approach.- Transformational meta program development.- Another case study on reusability of transformational developments.- A formal method for the systematic reuse of specification components.- Deductive program development: Evaluation in reverse Polish notation as an example.- Literate program derivation: A case study.- Programs viewed as Skolem functions.- Calculating a garbage collector.- On the use of elements of functional programming in program development by transformations.- Transformational development of circuit descriptions for binary adders.

O autorze

Dr. rer. nat. Manfred Broy studierte Mathematik und Informatik 1971-76 an der Technischen Universität München. Dort 1976-80 wissenschaftlicher Mitarbeiter im Sonderforschungsbereich 49 'Programmiertechnik' der DFG. 1980 Promotion, ab 1980 wisschenschaftlicher Assistent und 1982 Habilitation in Informatik an der TU München. 1983 ordentlicher Professor für Informatik und Gründungsdekan an der Fakultät für Mathematik und Informatik der Universität Passau. Seit 1989 ordentlicher Professor für Informatik an der TU München. 1994 Leibniz-Preis der DFG. Prof. Dr. Martin Wirsing ist Leiter des Lehrstuhls für Programmierung und Software-Technik des Instituts für Informatik der LMU München und Vizepräsident der LMU für den Bereich Studium.