cold-k

1 definition found

cold-k - Free On-line Dictionary of Computing (26 May 2007) :

  COLD-K
  
     <language> A 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)