Skip to main content
SpringerLink
Log in

An introduction to COLD-K

  • Part II The Design Language COLD
  • Conference paper
  • First Online:
Algebraic Methods: Theory, Tools and Applications (Algebraic Methods 1987)

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

Included in the following conference series:

Abstract

An introduction to the formal design kernel language COLD-K is given. After discussing the notion of class underlying the language, various styles of describing classes are presented ranging from algebraic to state-based techniques on the one hand, and axiomatic to algorithmic techniques on the other hand. The last part of the paper is devoted to the structuring mechanisms provided by the language, which include high level modularisation and parameterisation techniques as well as mechanisms to construct complete designs.

This work has been performed in the framework of ESPRIT project 432 (METEOR).

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.A. BERGSTRA, J. HEERING, P. KLINT, Module Algebra, CWI Report CS-R8617 (1986).

    Google Scholar 

  2. 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, Technical Report, ESPRIT project 432, Doc.Nr. METEOR/t7/PRLE/7 (1987).

    Google Scholar 

  3. D. HAREL, First-order Dynamic Logic, Lecture Notes in Computer Science 68, Springer-Verlag (1979).

    Google Scholar 

  4. C.B. JONES, Systematic Software Development Using VDM, Prentice-Hall (1986).

    Google Scholar 

  5. H.B.M. JONKERS, A Concrete Syntax for COLD-K, Technical Report, ESPRIT project 432, Doc.Nr. METEOR/t8/PRLE/2 (1988).

    Google Scholar 

  6. H.B.M. JONKERS, Description Algebra, this volume.

    Google Scholar 

  7. D.S. SCOTT, Identity and Existence in Intuitionistic Logic, in: M.P. FOURMAN, C.J. MULVEY, D.S. SCOTT (Eds.), Applications of Sheaves, Lecture Notes in Mathematics 753, Springer Verlag, Berlin (1979), 660–696.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    H. B. M. Jonkers

Authors
  1. H. B. M. Jonkers
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Jan A. Bergstra

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jonkers, H.B.M. (1989). An introduction to COLD-K. In: Wirsing, M., Bergstra, J.A. (eds) Algebraic Methods: Theory, Tools and Applications. Algebraic Methods 1987. Lecture Notes in Computer Science, vol 394. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0015039

Download citation

  • DOI: https://doi.org/10.1007/BFb0015039

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51698-9

  • Online ISBN: 978-3-540-46758-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation