AMBITIOUS AND AGILE - Institutional Strategy for Advancing Research Strengths at a Mid-sized University
SyDe
Graduiertenkolleg System Design

Lesen Sie hier mehr über die letzte Zeit im Graduiertenkolleg System Design

Julia Seiter auf der FDL in München / 14.-16.10.14

06-10-2014 |

Die FDL ist eine Konferenz mit dem Schwerpunkt auf Entwurfs- und Spezifikationssprachen, die in diesem Jahr vom 14. bis 16. Oktober in München stattfindet. Julia Seiter stellt dort Ihre Arbeit zum Thema Automatic Refinement Checking for Formal System Models vor, die für den Best Paper Award nominiert ist. Außerdem wird hier eine gemeinsame Arbeit mit
Christoph Hilken veröffentlicht mit dem Titel Verifying Consistency between Activity Diagrams and Their Corresponding OCL Contracts.

Weitere Informationen erhalten Sie hier.



Postanschrift:

Graduiertenkolleg System Design
Universität Bremen FB3
Bibliothekstraße 5 | MZH
28359 Bremen

Nehmen Sie gerne mit uns Kontakt auf, falls Sie Fragen rund um SyDe haben oder wenn Sie sich für eine Promotionsstelle interessieren. Wir machen gerne mit Ihnen ein Termin.