Designations in Z

• The Z specification language defines atomic elements

  • [Book, Person]

• This indicates that there are Books and there are Persons

  • Books are always Books; Persons are always Persons
  • Nothing can be both a Book and a Person

• The associated natural language describes the actual designations

Previous slide

Next slide

Back to first slide

View graphic version