Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

COLD-K

You are here: irt.org | FOLDOC | 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)

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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL

©2018 Martin Webb