<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].

Last updated: 1995-01-04

Try this search on Wikipedia, OneLook, Google

Nearby terms:

cold boot « ColdFusion « ColdFusion Markup Language « COLD-K » COLINGO » collision » collision detection