
10.02.2012
FMOODS & FORTE 2012
FMOODS & FORTE 2012
IFIP International Conference on Formal Techniques for Distributed Systems joint international...
Laufende Doktorarbeiten am Fachgebiet
- Basil Becker: Modellierung und Verifikation selbst-adaptiver service-orientierter Systeme
- Stephan Hildebrandt: Modelltransformation und -synchronisation bei der modell-basierten Entwicklung
- Andreas Seibel: Modellierung, Analyse und Bewertung von Verteilungs- und Architekturmodellen in Bezug auf Kompatibilität, Leistungsfähigkeit und Kosten
- Stefan Neumann: Modellierung, Analyse und Bewertung von Schnittstellen zur Beschreibung nicht funktionalen Verhaltens in komponentenbasierten Systemen
- Thomas Vogel: Eine modellgetriebene Infrastruktur für selbst-adaptive service-orientierte Systeme
- Gregor Gabrysiak: Erhebung und Validierung von Requirements durch Simulation und Animation
- Regina Hebig: Megamodellierung der Entwicklung von Service Orientierten Enterprise Systemen
- Sebastian Wätzoldt: Modellgetriebene Softwareentwicklung für leistungsstarke, selbst-optimierende Software für Mehrkernprozessoren und Cloud Computing


