The Vending Machine Case

  • 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

The objective of the present chapter is to show a number of notations with the aid of a concrete example. The example is simple enough to serve as an easy introduction. After reading the example, the reader will be familiar with several important COLD-1 notations as well as several important picture types. This will pave the way for a systematic treatment of these notations and of the various pictorial representations in other chapters.

Keywords

Nickel Prefix Veri 

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