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)
Nearby terms:
cold boot « ColdFusion « ColdFusion Markup Language
«
COLD-K » COLINGO » collision » collision
detection
|