Spezifikationsmodule - Software and Systems Engineering - TUM

Literaturverzeichnis
[Dun05] Dennis Dungs. Design and implementation of a unique interface
and object model for the integration of supplementary tools in common
UML modeling tools. Systementwicklungsprojekt, Technische
Universität München, 2005.
[Höl05]
[HS05]
Florian Hölzl. Erweiterung und Optimierung des AQuA-Systems.
Systementwicklungsprojekt Projektbericht, Technische Universität
München, 2005.
Florian Hölzl and Bernhard Schätz. Adding interaction and transformation
to constraint languages. Zur Zeit der Erstellung, eingereicht
bei der Konferenz MoDELS 2005, 2005.
[OMG03a] OMG. OMG Unified Modeling Language Specification.
http://www.omg.org, March 2003.
[OMG03b] OMG. UML 2.0 OCL Specification. http://www.omg.org, 2003.
[OMG04] OMG. MetaObject Facility (MOF) Specification.
http://www.omg.org, Apr. 2004.
[Pas05]
David Pasch. Modellbasierte Prozessunterstützung für AutoFocus.
Diplomarbeit, Technische Universität München, 2005.
[Sch00] Uwe Schöning. Logik für Informatiker. Spektrum Akademischer
Verlag, 2000.
[Sch01]
[Str05]
[Tra03]
Bernhard Schätz. The ODL Operation Definition Language and the
AutoFocus/Quest application framework AQuA. Technical Report
TUM-I0111, Technische Universität München, 2001.
Markus Strohmeier. Modellbasierte Validierung verteilter Komponenten:
Kopplung von AutoFOCUS und SPIN. Diplomarbeit, Technische
Universität München, 2005.
David Trachtenherz. Erweiterung des AQuA-Systems: ODL Sprachkonstrukte
und interaktive Benutzerschnittstelle. Diplomarbeit,
Technische Universität München, 2003.
[TUM02] AutoFocus. http://autofocus.in.tum.de/, 2002.
[TUM04a] AutoMode. http://www4.in.tum.de/∼automode, 2004.
93