Saturday 7/4 | |
9.30 11.00 |
Tutorial Lecture: Basics of Relational Methods Gunther Schmidt (Universität der Bundeswehr München) |
11.00 11.30 |
Coffee |
11.30 13.00 |
Tutorial Lecture: The Tabular Method for Relational
Documentation David L. Parnas (McMaster University) |
13.00 14.30 |
Lunch |
14.30 16.00 |
Tutorial Lecture: Refinement and Development of Programs from Relational Specifications
Wolfram Kahl (Universität der Bundeswehr München) |
16.00 16.30 |
Coffee |
16.30 18.00 |
Tutorial Lecture: Prototyping and Programming with Relations
Rudolf Berghammer (Christian-Albrechts-Universität zu Kiel) |
18.00 18.30 |
Discussion: How can we help software developers to use relational
methods? chair: David Parnas |
Sunday 8/4 | |
9.30 11.00 |
chair: David Parnas
An Application of Relational Algebra:
Specification of a Fault Tolerant Control System
Requirements Scenarios Formalization Technique:
N Versions Towards One Good Version
|
11.00 11.30 |
Coffee |
11.30 13.00 |
chair: Gunther Schmidt
Algebraic Semantics of ER-Models from the Standpoint of Map Calculus.
I: Static View
Some Algebraic Laws for Spans (and their Connections with Multi-Relations)
|
13.00 14.30 |
Lunch |
14.30 16.00 |
chair: Rudolf Berghammer
Morphisms between Petri Nets and Relational Petri Nets
Generating Processes from Specifications using RELVIEW
|
16.00 16.30 |
Coffee |
16.30 18.30 |
chair: Wolfram Kahl (Tool Demonstrations)
A Graphical Approach to Map Reasoning
|