Coldk

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  COLD-K
       
          Formal design {kernel language} for describing (sequential)
          software systems in intermediate stages of their design.
       
          ["An Introduction to COLD-K", H.B.M. Jonkers in Algebraic


          Methods: Theory, Tools and Applications, M. Wirsing et al eds,
          LNCS 394, Springer 1989, pp. 139-205].
       
          (1995-01-04)