H ? « »

Language peer sets for COLD-K:
Designed 1989
1980s languages
Fifth generation
Late Cold War


alternate simple view
Designed 1989
Published: 1989

Formal design kernel language for describing (sequential) software systems in intermediate stages of their design.

  • (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