Patterns for Definitions

  • Loe M. G. Feijs
  • Hans B. M. Jonkers
  • Cornelis A. Middelburg
Part of the Formal Approaches to Computing and Information Technology (FACIT) book series (FACIT)

Abstract

In COLD-1, systems and system components are described by definitions of sorts and operations as well as axioms and theorems. This chapter treats all relevant language constructs with the accent on the form, the intended use and typical examples. Some examples will be taken from the vending machine case in the previous chapter.

Keywords

Posite 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London Limited 1994

Authors and Affiliations

  • Loe M. G. Feijs
    • 1
  • Hans B. M. Jonkers
    • 1
  • Cornelis A. Middelburg
    • 2
    • 3
  1. 1.Philips Research LaboratoriesEindhovenThe Netherlands
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands
  3. 3.PIT ResearchLeidschendamThe Netherlands

Personalised recommendations