Skorzystaj z wyszukiwarki lub indeksu alfabetycznego.
Przykłady: pci, /dev/null, functional unit, embedded system, pseudo-tty, nfs.
1 definition found
From The Free On-line Dictionary of Computing (05 January 2017) [foldoc]:
COLD-K
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)