Im Rahmen des Projekts "Smyle", das in Kooperation mit der TU München
und der ENS Cachan (Paris) durchgeführt wird, bietet der Lehrstuhl für
Informatik 2 (Prof. Katoen) Diplomarbeiten für Informatiker im Bereich
"Learning and Synthesis of Distributed Systems" an:

Bei Bedarf oder auf Wunsch sind auch kurze Projektreisen nach München
und Paris möglich.

Mögliche Themen können persönlich besprochen werden.

Ein konkretes Diplomarbeitsthema kann abgerufen werden unter:
http://www-i2.informatik.rwth-aachen.de/i2/fileadmin/user_upload/documents/Carst...

Bei Interesse meldet Euch bitte bei:

Carsten Kern
http://www-i2.informatik.rwth-aachen.de/i2/kern/

Inhalt: Eine große Schwierigkeit im Softwareentwicklungsprozess liegt in
der Designphase, in der Softwareingenieure versuchen, von einer Menge
unvollständiger und manchmal sogar widersprüchlicher Anforderungen, die
üblicherweise in natürlicher Sprache formuliert werden, zu einem
konsistenten Designmodell zu gelangen, auf dem die nachfolgende
Implementierung fußt. Diese Aufgabe ist üblicherweise langwierig und
fehleranfällig, da sie im Regelfall von Hand durchgeführt wird.