Program of RelMiS

  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
Diego Del Gobbo, Ali Mili (West Virginia University)

Requirements Scenarios Formalization Technique: N Versions Towards One Good Version
Ridha Khédri (McMaster University)

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
Ernst-Erich Doberkat (Universität Dortmund),
Eugenio Omodeo (Università di L'Aquila)

Some Algebraic Laws for Spans (and their Connections with Multi-Relations)
Roberto Bruni, Fabio Gadducci (Università di Pisa)

13.00
14.30
Lunch
14.30
16.00
chair: Rudolf Berghammer

Morphisms between Petri Nets and Relational Petri Nets
Yahya Slimani (Faculty of Sciences of Tunis),
Soulimane Mammar (USTO Oran-Algeria)

Generating Processes from Specifications using RELVIEW
Michael Winter (Universität der Bundeswehr München)

16.00
16.30
Coffee
16.30
18.30
chair: Wolfram Kahl (Tool Demonstrations)

A Graphical Approach to Map Reasoning
Andrea Formisano (Università di Perugia),
Eugenio G. Omodeo (Università di L'Aquila),
Marta Simeoni (Technische Universität Berlin and Università Ca' Foscari di Venezia)