default search action

combined dblp search
author search
venue search
publication search

ask others

CIP Methods of Programming 1991

> Home > Conferences and Workshops > CIP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cip/1991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/1991
Manfred Broy, Martin Wirsing:
Method of Programming, Selected Papers on the CIP-Project. Lecture Notes in Computer Science 544, Springer 1991, ISBN 3-540-54576-X

Part 1: Development Models and Reusability

- view
  authority control:
- export record
  dblp key:
  - conf/cip/Hesse91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/Hesse91
Wolfgang Hesse:
Two Metamodels for Application System Development - Conventional vs. Object-Oriented Approach. 3-18
- view
  authority control:
- export record
  dblp key:
  - conf/cip/Krieg-Bruckner91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/Krieg-Bruckner91
Bernd Krieg-Brückner:
Transformational Meta Program Development. 19-33
- view
  authority control:
- export record
  dblp key:
  - conf/cip/PartschV91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/PartschV91
Helmuth Partsch, Norbert Völker:
Another Case Study on Reusability of Transformational Developments Pattern Matching According to Knuth, Morris, and Pratt. 35-48
- view
  authority control:
- export record
  dblp key:
  - conf/cip/HennickerW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/HennickerW91
Rolf Hennicker, Martin Wirsing:
A Formal Method for the Systematic Reuse of Specification Components. 49-75

Part 2: Deductive Program Development

- view
  authority control:
- export record
  dblp key:
  - conf/cip/Broy91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/Broy91
Manfred Broy:
Deductive Program Development: Evaluation in Reverse Polish Notation as an Example. 79-99
- view
  authority control:
- export record
  dblp key:
  - conf/cip/Pepper91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/Pepper91
Peter Pepper:
Literate Program Derivation: A Case Study. 101-124
- view
  authority control:
- export record
  dblp key:
  - conf/cip/Steinbruggen91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/Steinbruggen91
Ralf Steinbrüggen:
Programs Viewed as SKOLEM Functions. 125-134

Part 3: Case Studies in Development

- view
  authority control:
- export record
  dblp key:
  - conf/cip/BergerMM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/BergerMM91
Ulrich Berger, Werner Meixner, Bernhard Möller:
Calculating a Garbage Collector. 137-192
- view
  authority control:
- export record
  dblp key:
  - conf/cip/BerghammerE91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/BerghammerE91
Rudolf Berghammer, Herbert Ehler:
On the Use of Elements of Functional Programming in Program Development by Transformations. 193-215
- view
  authority control:
- export record
  dblp key:
  - conf/cip/KloosD91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cip/KloosD91
Carlos Delgado Kloos, Walter Dosch:
Transformational Development of Circuit Descriptions for Binary Adders. 217-237

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.