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.
Preview
Unable to display preview. Download preview PDF.
References
M. Wirsing. Algebraic Specification. Report MIP 8914, Universität Passau, Fakultät für Mathematik und Informatik, Innstrasse 33, 8390 Passau.
D. Björner, C.B. Jones (eds.) The Vienna development method: the metalanguage. Springer Verlag LNCS 61, ISBN 3-540-08766-4 (1978).
C.B. Jones. Systematic software development using VDM, Prentice-Hall International, ISBN 0-13-880725-6 (1986).
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).
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.
J.A. Bergstra, J. Heering, P. Klint. Module algebra. CWI Report CS-R8617, May 1986.
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.
L.M.G. Feijs. A formalisation of design structures. ESPRIT document METEOR/t7/PRLE/4.
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.
L.M.G. Feijs. Correctness-preserving transformations of designs. ESPRIT document METEOR/t8/PRLE/6.
D. Winkel, F. Prosser. The art of digital design, an introduction of top-down design. Prentice Hall, Inc. ISBN 0-13-046607-7 (1980).
L.M.G. Feijs. Formal specification of a text editor. ESPRIT document METEOR/t9/PRLE/3 (May 1989).
L.M.G. Feijs. Systematic design of a text editor. ESPRIT document METEOR/t9/PRLE/4 (May 1989).
M. Broy, P. Pepper. Program Development as a Formal Activity. IEEE Transactions on Software Engineering, Vol. SE-7, No 1, January 1981, 14–22.
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.
B.W. Boehm. Software engineering economics. Prentice-Hall, INC., Englewood Cliffs, New Jersey 07632. ISBN 0-13-822122-7
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).
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.
D. Gries. The science of programming. Springer-Verlag New York, Heidelberg, Berlin. ISBN 0-387-90641-X.
E.C. van Oijen. Configuration management for COLD-K. Master's thesis, Eindhoven University of Technology, Department of mathematics and computing science (August 1989).
Author information
Authors and Affiliations
Editor information
Rights 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