Skip to main content
SpringerLink
Log in

An Overview of the Development of COLD

  • Conference paper
Semantics of Specification Languages (SoSL)

Part of the book series: Workshops in Computing ((WORKSHOPS COMP.))

  • 33 Accesses

Abstract

This overview addresses the development of the wide-spectrum design langage COLD. The language unifies algebraic specification techniques and model-oriented state based specification techniques. The main language versions are surveyed, together with some of the semantical problems and their solutions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H.B.M. Jonkers. Abstraction, specification and implementation techniques with an application to garbage collection. Mathematical centre tracts, 166, Mathematical Centre Amsterdam (1982).

    Google Scholar 

  2. M.C. Gaudel. Towards structured algebraic specifications, in: ESPRIT’85: Status Report of Continuing Work, Part 1, North Holland, pp. 439–510 (1986).

    Google Scholar 

  3. M. Wirsing. Structured algebraic specifications: a kernel language, Habilitation thesis, Technische Universität München (1983).

    Google Scholar 

  4. H.B.M. Jonkers. Description of the design language COLD-S, Philips report (1995).

    Google Scholar 

  5. H.B.M. Jonkers. An introduction to COLD-K, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 139–205 (1989).

    Google Scholar 

  6. L.M.G. Feijs, H.B.M. Jonkers, J.H. Obbink, C.P.J. Koymans, G.R. Renardel de Lavalette, P.H. Rodenburg. A survey of the design language COLD, in: ESPRIT ‘86: Results and Achievements, Elsevier Science Publishers B.V. (North-Holland), pp. 631–644 (1986).

    Google Scholar 

  7. D. Harel. Dynamic logic, in: D. Gabbay, F. Guenther (Eds.), Handbook of philosophical logic, Vol. II, pp. 497–604, D. Reidel Publishing Company, ISBN 90–277–1604–8 (1984).

    Chapter  Google Scholar 

  8. D.S. Scott. Existence and description in formal logic, in R. Schoenman (Ed.), Bertrand Russell, Philosopher of the Century, Allen Unwin, London, pp. 181–200 (1967).

    Google Scholar 

  9. C.P.J. Koymans, G.R. Renardel de Lavalette. The logic MPLW, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 247–282 (1989).

    Chapter  Google Scholar 

  10. C.P.J. Koymans, G.R. Renardel de Lavalette. Inductive Definitions in COLD-K. Logic Group reprint series No. 50, Department of Philosophy, University of Utrecht (1989).

    Google Scholar 

  11. J.A. Bergstra, J. Heering, P. Klint. Module algebra, JACM Vol. 37 No. 2, pp. 335–372 (1990).

    MathSciNet  MATH  Google Scholar 

  12. H.B.M. Jonkers. Description algebra, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 283–305 (1989).

    Chapter  Google Scholar 

  13. L.M.G. Feijs, A formalisation of design structures, COMPEURO-87, pp. 214–229, IEEE Society Press (1987).

    Google Scholar 

  14. L.M.G. Feijs, A formalisation of design methods: a A-calculus approach to system design, with an application to text editing. Ellis Horwood Limited (1993).

    Google Scholar 

  15. L.M.G. Feijs. The calculus Air, in: M. Wirsing, J.A. Bergstra (Eds.), Algebraic Methods: Theory, Tools and Applications, Springer-Verlag LNCS 394, pp. 307–328 (1989).

    Chapter  Google Scholar 

  16. L.M.G. Feijs, H.B.M. Jonkers, C.P.J. Koymans, G.R. Renardel de Lavalette. Formal definition of the design language COLD-K. Revised Edition, ESPRIT document METEOR/t7/PRLE/7 (Oct. 1987).

    Google Scholar 

  17. L.M.G. Feijs, H.B.M. Jonkers. Formal specification and design, Cambridge Tracts in Theoretical Computer Science 35, Cambridge University Press.

    Google Scholar 

  18. H.B.M. Jonkers. Description of COLD-1, Philips IST Report RWR-513hj-91020-hj (1991).

    Google Scholar 

  19. G.R. Renardel de Lavalette. COLD-K2, the static kernel of COLD-K. ESPRIT document METEOR/t9/PRLE/11 (1989).

    Google Scholar 

  20. G.J. Akkerman. CoDDLe: Common Design and Description Language, SERC Report RP/mod-89/9. Software Engineering Research Centre. Utrecht, The Netherlands (1989).

    Google Scholar 

  21. J.C.M. Baeten, J.A. Bergstra, S. Mauw, G.J. Veltink. A process specification formalism based on static COLD, in: J.A. Bergstra, L.M.G. Feijs (Eds.), Algebraic Methods: Theory, Tools and Applications Part II, Springer-Verlag LNCS 490, pp. 303–335 (1991).

    Google Scholar 

  22. C.A. Middelburg. Syntax and semantics of VVSL, Ph. D. Thesis, University of Amsterdam (1990).

    Google Scholar 

  23. C.A. Middelburg. Experiences with combining formalisms in VVSL, in: J.A. Bergstra, L.M.G. Feijs (Eds.), Algebraic Methods: Theory, Tools and Applications Part II, Springer-Verlag LNCS 490, pp. 83–103 (1991).

    Google Scholar 

  24. H.B.M. Jonkers. Inheritance in COLD, in: J.A. Bergstra, L.M.G. Feijs (Eds.), Algebraic Methods: Theory, Tools and Applications Part II, Springer-Verlag LNCS 490, pp. 277–301 (1991).

    Google Scholar 

  25. H.B.M. Jonkers. An overview of the SPRINT method, in: J.C.P. Woodcock, P.G. Larsen (Eds.), FME’93: Industrial-Strength Formal Methods, Springer-Verlag LNCS 670, pp. 403–427 (1993).

    Chapter  Google Scholar 

  26. H.B.M. Jonkers. PROTOCOLD 1.1 User manual, Philips IST Report RWR-513-hj-91080-hj (1991).

    Google Scholar 

  27. J.A. Bergstra, A. Ponse, J.J. van Wamel. Process algebra with backtracking, University of Amsterdam report P9306 (1993).

    Google Scholar 

  28. S.F.M. van Vlijmen, J.J. van Wamel. A semantic approach to Protocold using process algebra, University of Amsterdam report P9317 (1993).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories, Eindhoven, The Netherlands

    L. M. G. Feijs

Authors
  1. L. M. G. Feijs
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Science, University of Leicester, University Road, LE1 7RH, Leicester, UK

    D. J. Andrews

  2. Department of Philosophy, Utrecht University, Heidelberglaan 8, 3584 CS, Utrecht, The Netherlands

    J. F. Groote (dr.ir) & C. A. Middelburg (prof.dr.ir) (dr.ir) &  (prof.dr.ir)

Rights and permissions

Reprints and permissions

Copyright information

© 1994 British Computer Society

About this paper

Cite this paper

Feijs, L.M.G. (1994). An Overview of the Development of COLD. In: Andrews, D.J., Groote, J.F., Middelburg, C.A. (eds) Semantics of Specification Languages (SoSL). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3229-5_2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3229-5_2

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-19854-3

  • Online ISBN: 978-1-4471-3229-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation