An introduction to COLD-K

  • H. B. M. Jonkers
Part II The Design Language COLD
Part of the Lecture Notes in Computer Science book series (LNCS, volume 394)


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.


Parameterised Scheme State Component Class Description Parameter Restriction Inductive Definition 
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]
    J.A. BERGSTRA, J. HEERING, P. KLINT, Module Algebra, CWI Report CS-R8617 (1986).Google Scholar
  2. [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. [3]
    D. HAREL, First-order Dynamic Logic, Lecture Notes in Computer Science 68, Springer-Verlag (1979).Google Scholar
  4. [4]
    C.B. JONES, Systematic Software Development Using VDM, Prentice-Hall (1986).Google Scholar
  5. [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. [6]
    H.B.M. JONKERS, Description Algebra, this volume.Google Scholar
  7. [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

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • H. B. M. Jonkers
    • 1
  1. 1.Philips Research LaboratoriesEindhovenThe Netherlands

Personalised recommendations