Universität Paderborn - Home Universität Paderborn
Die Universität der Informationsgesellschaft

Generating Software from Specifications WS 2013/14 - Slide 404

Next Slide Previous Slide Next Slide

Objectives:
Apply PDL operations systematically

In the lecture:
The design steps are applied to the following examples:

  1. Report a message for more than one occurrence of an entity.
  2. Output a line number at every defining occurrence.
  3. At a using occurrence output the line number of the defining occurrence.
  4. At an occurrence output the line number of the previous occurrence.
  5. Report a message if a use occurs before its definition.

The functions are explained.
Author: Prof. Dr. Uwe Kastens

Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 07.10.2013