Methods of Programming 1991

Manfred Broy, Martin Wirsing (Eds.): Method of Programming, Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544 Springer 1991, ISBN 3-540-54576-X BibTeX

@proceedings{DBLP:conf/cip/1991,
  editor    = {Manfred Broy and
               Martin Wirsing},
  title     = {Method of Programming, Selected Papers on the CIP-Project},
  booktitle = {Method of Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {544},
  year      = {1991},
  isbn      = {3-540-54576-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Part 1: Development Models and Reusability

Wolfgang Hesse: Two Metamodels for Application System Development - Conventional vs. Object-Oriented Approach. 3-18 BibTeX
Bernd Krieg-Brückner: Transformational Meta Program Development. 19-33 BibTeX
Helmuth Partsch, Norbert Völker: Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. 35-48 BibTeX
Rolf Hennicker, Martin Wirsing: A Formal Method for the Systematic Reuse of Specification Components. 49-75 BibTeX

Part 2: Deductive Program Development

Manfred Broy: Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. 79-99 BibTeX
Peter Pepper: Literate Program Derivation: A Case Study. 101-124 BibTeX
Ralf Steinbrüggen: Programs Viewed as SKOLEM Functions. 125-134 BibTeX

Part 3: Case Studies in Development

Ulrich Berger, Werner Meixner, Bernhard Möller: Calculating a Garbage Collector. 137-192 BibTeX
Rudolf Berghammer, Herbert Ehler: On the Use of Elements of Functional Programming in Program Development by Transformations. 193-215 BibTeX
Carlos Delgado Kloos, Walter Dosch: Transformational Development of Circuit Descriptions for Binary Adders. 217-237 BibTeX