Skip to main content
Springer Nature Link
Log in

Specification in COLD-1 of a CAD package for drawing shadow masks

  • Conference paper
  • First Online:
ESEC '91 (ESEC 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 550))

Included in the following conference series:

Abstract

The specification language COLD-1 is used in the formal specification of the FSM package, a specialized CAD package, that is used for shadow mask design within Philips. The case study shows that formal techniques can be used in an industrial context; in particular the language COLD-1 is a good vehicle for writing the specifications. In addition it is shown that an object-oriented style can be used within this wide spectrum language, without changing it.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. D. Björner, C.B. Jones (eds.), The Vienna development method: the meta-language, Springer Verlag, LNCS 61 (1978).

    Google Scholar 

  2. 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, Elseviers Science Publishers B.V. (North Holland), pp. 631–644 (1986).

    Google Scholar 

  3. 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, ESPRIT document METEOR/t7/PRLE/7 (1987).

    Google Scholar 

  4. D. Harel, Dynamic logic, in.: D. Gabbay, F. Guenther (eds.), Handbook of Philosophical Logic, vol. II, D. Reidel Publishing Company, pp. 497–604 (1984).

    Google Scholar 

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

    Google Scholar 

  6. H.B.M. Jonkers, A concrete syntax for COLD-K, ESPRIT document METEOR/t8/PRLE/2 (1988).

    Google Scholar 

  7. J.M. Spivey, Understanding Z, a specification language and its formal semantics, Cambridge Tracts in Theoretical Computer Science 3 (1988).

    Google Scholar 

  8. J.M. Spivey, The Z Notation: A reference manual, Prentice Hall (1989).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Philips Research Laboratories, P.O. Box 80000, 5600, JA Eindhoven, The Netherlands

    F. J. van der Linden

Authors
  1. F. J. van der Linden
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Axel van Lamsweerde Alfonso Fugetta

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

van der Linden, F.J. (1991). Specification in COLD-1 of a CAD package for drawing shadow masks. In: van Lamsweerde, A., Fugetta, A. (eds) ESEC '91. ESEC 1991. Lecture Notes in Computer Science, vol 550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540547428_45

Download citation

  • DOI: https://doi.org/10.1007/3540547428_45

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54742-6

  • Online ISBN: 978-3-540-46446-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics