Handout

The booklet containing most presentations is available for download as a single, rather large, (38MB) .pdf

Exercises

• Phone Example by Gabi Taentzer and Reiko Heckel
• Assignments:
• M1.2 (Minas)
• M2 (Kreowski, Heckel): A partial solution
• M3 (Heckel)

Tool Sessions

• Survey of Tools for Visual Modeling Techniques by Gabi Taentzer
• Generating JMI model transformation code from UML profile models for SDM by Pieter Van Gorp

Presentations (updates or additions to the Handout)

• Andras Pataricza: Modelling and Transformations:An Engineering View
• Reiko Heckel: Graph Transformation in a Nutshell
• Peter Mosses: Semantic Description Techniques
• Hans-Jörg Kreowski: Semantics of Visual Models in a Rule-based Setting
• Francesco Parisi-Presicce: Specification and Verification of Security Policies in the Software Development Process

 

[Home] [Objectives] [Lectures] [Program] [Application] [Material] [Pictures]