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 
@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
- Bernd Krieg-Brückner:
Transformational Meta Program Development.
19-33
- Helmuth Partsch, Norbert Völker:
Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt.
35-48
- Rolf Hennicker, Martin Wirsing:
A Formal Method for the Systematic Reuse of Specification Components.
49-75
Part 2:
Deductive Program Development
- Manfred Broy:
Deductive Program Development: Evaluation in Reverse Polish Notation as an Example.
79-99
- Peter Pepper:
Literate Program Derivation: A Case Study.
101-124
- Ralf Steinbrüggen:
Programs Viewed as SKOLEM Functions.
125-134
Part 3:
Case Studies in Development
Copyright © Thu Dec 24 16:52:50 2009
by Michael Ley (ley@uni-trier.de)
