Skip to main content
SpringerLink
Log in
Book cover

Workshop on Algebraic Methods

Algebraic Methods 1989: Algebraic Methods II: Theory, Tools and Applications pp 167–199Cite as

Transformations of designs

  • Part II Requirements And Design
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 490))

Abstract

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.

the work reported in this paper has been performed in ESPRIT project 432: Meteor.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. C.B. Jones. Systematic software development using VDM, Prentice-Hall International, ISBN 0-13-880725-6 (1986).

    Google Scholar 

  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. 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. J.A. Bergstra, J. Heering, P. Klint. Module algebra. CWI Report CS-R8617, May 1986.

    Google Scholar 

  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. L.M.G. Feijs. A formalisation of design structures. ESPRIT document METEOR/t7/PRLE/4.

    Google Scholar 

  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. L.M.G. Feijs. Correctness-preserving transformations of designs. ESPRIT document METEOR/t8/PRLE/6.

    Google Scholar 

  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. L.M.G. Feijs. Formal specification of a text editor. ESPRIT document METEOR/t9/PRLE/3 (May 1989).

    Google Scholar 

  13. L.M.G. Feijs. Systematic design of a text editor. ESPRIT document METEOR/t9/PRLE/4 (May 1989).

    Google Scholar 

  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. 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. B.W. Boehm. Software engineering economics. Prentice-Hall, INC., Englewood Cliffs, New Jersey 07632. ISBN 0-13-822122-7

    Google Scholar 

  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. 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.

    Article  Google Scholar 

  19. D. Gries. The science of programming. Springer-Verlag New York, Heidelberg, Berlin. ISBN 0-387-90641-X.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories Eindhoven, P.O. Box 80000, 5600 JA, Eindhoven, The Netherlands

    L. M. G. Feijs

Authors
  1. L. M. G. Feijs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. A. Bergstra L. M. G. Feijs

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Feijs, L.M.G. (1991). Transformations of designs. In: Bergstra, J.A., Feijs, L.M.G. (eds) Algebraic Methods II: Theory, Tools and Applications. Algebraic Methods 1989. Lecture Notes in Computer Science, vol 490. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53912-3_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-53912-3_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53912-4

  • Online ISBN: 978-3-540-46351-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation