Transformations of designs

  • L. M. G. Feijs
Part II Requirements And Design
Part of the Lecture Notes in Computer Science book series (LNCS, volume 490)


In this paper we present a theory of correctness-preserving transformations of designs. The paper gives an informal introduction to both the structuring concept of a “design” and to certain dynamic aspects of the software development process. There is a focus on combining designs, strategies for growing designs and re-adapting them to external-context modifications. Although the notion of a design is part of the language COLD, the presentation in this paper is given independent of that, in a general setting.


Output Port Prim Component Design Program Input Port System User 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    M. Wirsing. Algebraic Specification. Report MIP 8914, Universität Passau, Fakultät für Mathematik und Informatik, Innstrasse 33, 8390 Passau.Google Scholar
  2. [2]
    D. Björner, C.B. Jones (eds.) The Vienna development method: the metalanguage. Springer Verlag LNCS 61, ISBN 3-540-08766-4 (1978).Google Scholar
  3. [3]
    C.B. Jones. Systematic software development using VDM, Prentice-Hall International, ISBN 0-13-880725-6 (1986).Google Scholar
  4. [4]
    J.M. Spivey. Understanding Z, a specification language and its formal semantics, Cambridge Tracts in Theoretical Computer Science 3, ISBN 0-521-33429-2 (1988).Google Scholar
  5. [5]
    L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette. Formal definition of the design language COLD-K. Preliminary Edition, April 1987, ESPRIT document METEOR/t7/PRLE/7.Google Scholar
  6. [6]
    J.A. Bergstra, J. Heering, P. Klint. Module algebra. CWI Report CS-R8617, May 1986.Google Scholar
  7. [7]
    L.M.G. Feijs. A formalisation of design structures. Proceedings of Comp Euro 88 — system design: concepts, methods and tools pp. 214–229, Brussels, Belgium, April 11–14, 1988. IEEE Computer Society Press.Google Scholar
  8. [8]
    L.M.G. Feijs. A formalisation of design structures. ESPRIT document METEOR/t7/PRLE/4.Google Scholar
  9. [9]
    M. Wirsing. Algebraic description of reusable software components. Proceedings of Comp Euro 88 — system design: concepts, methods and tools, Brussels, Belgium, April 11–14, 1988, pp. 300–312, IEEE Computer Society Press.Google Scholar
  10. [10]
    L.M.G. Feijs. Correctness-preserving transformations of designs. ESPRIT document METEOR/t8/PRLE/6.Google Scholar
  11. [11]
    D. Winkel, F. Prosser. The art of digital design, an introduction of top-down design. Prentice Hall, Inc. ISBN 0-13-046607-7 (1980).Google Scholar
  12. [12]
    L.M.G. Feijs. Formal specification of a text editor. ESPRIT document METEOR/t9/PRLE/3 (May 1989).Google Scholar
  13. [13]
    L.M.G. Feijs. Systematic design of a text editor. ESPRIT document METEOR/t9/PRLE/4 (May 1989).Google Scholar
  14. [14]
    M. Broy, P. Pepper. Program Development as a Formal Activity. IEEE Transactions on Software Engineering, Vol. SE-7, No 1, January 1981, 14–22.Google Scholar
  15. [15]
    N.G. de Bruijn. Generalizing Automath by means of Lambda-typed Lambda Calculus. Proceedings of the Maryland 1984–1985 Special Year in Mathematical Logic and Theoretical Computer Science.Google Scholar
  16. [16]
    B.W. Boehm. Software engineering economics. Prentice-Hall, INC., Englewood Cliffs, New Jersey 07632. ISBN 0-13-822122-7Google Scholar
  17. [17]
    L.M.G. Feijs, J.H. Obbink. Process models: methods as programs. ESPRIT '85, Status report of continuing work, The commission of the European Communities (Editors), Elsevier Science Publishers B.V. (North-Holland), 577–591. (Nat. Lab. Manuscript NL 13.249).Google Scholar
  18. [18]
    C.A.R. Hoare. An axiomatic basis for computer programming. Communications of the ACM, Vol 12, Number 10, pp. 576–580 and p. 583, October 1969.CrossRefGoogle Scholar
  19. [19]
    D. Gries. The science of programming. Springer-Verlag New York, Heidelberg, Berlin. ISBN 0-387-90641-X.Google Scholar
  20. [20]
    E.C. van Oijen. Configuration management for COLD-K. Master's thesis, Eindhoven University of Technology, Department of mathematics and computing science (August 1989).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • L. M. G. Feijs
    • 1
  1. 1.Philips Research Laboratories EindhovenEindhovenThe Netherlands

Personalised recommendations