Computer Dictionary/COLD-K

From En.18dao.net
Jump to: navigation, search

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


Discussion about "Computer Dictionary/COLD-K":

None Discussion Now.

Add Discussion