H ?
«
‹
←
→
›
»
Language peer sets for COLD-K:
Designed 1989 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑
COLD-K(ID:1467/col006)
alternate simple view
Designed 1989
Published: 1989
Formal design kernel language for describing (sequential) software systems in intermediate stages of their design.
References:
(1989) Jonkers, H.B.M. "An Introduction to COLD-K", in Algebraic Methods: Theory, Tools and Applications, M. Wirsing et al eds, LNCS 394, Springer 1989, pp.139-205.
(1992) Feijs L. M. and H. Jonkers. Formal Specification and Design, volume 35 of Cambridge tracts in theoretical computer science. Cambridge Univ. Press, 1992
Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997
Abstract
ps
Extract:
COLD-K
Extract:
Search in:
Google
Google scholar
World Cat
Yahoo
Overture
DBLP
Monash bib
NZ
IEEE 
ACM portal
CiteSeer
CSB
ncstrl
jstor
Bookfinder
|