Liste der Veröffentlichungen

Veröffentlichungen von 2003:

• A. Metzger, C. Webel
  Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model
  In Feature Interactions in Telecommunications and Software Systems VII, 2003, IOS Press, Amsterdam
  (abstract)

• A. Metzger
  Konzeption und Analyse eines Softwarepraktikums im Grundstudium
  In Software Engineering im Unterricht der Hochschulen SEUH 2003, J. Siedersleben, D. Weber-Wulff, editor, pages 41-48, 2003, dPunkt, Heidelberg
  (abstract)

• A. Metzger, S. Queins
  Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems
  In Telecommunications and beyond: The Broader Applicability of SDL and MSC, M.E. Sherrat, editor, pages 158-169, 2003, Springer, Heidelberg
  (abstract)

• A. Metzger
  Requirements Engineering by Generator-Based Prototyping
  In Software Reuse Requirements, Technologies and Applications. Proceedings of the International Colloquium of the SFB 501, H. Alt, M. Becker, editor, pages 25-35, 2003 University of Kaiserslautern
  (abstract)

• M. Trapp, B. Schürmann, T. Tetteroo
  Service-Based Development of Dynamically Reconfiguring Embedded Systems
  To be published in: IASTED International Conference on Software Engineering - SE 2003, Innsbruck, 2003
  (abstract)

Technical Reports

• A. Metzger, G. Zimmermann, (Hrsg.)
  Modellierung Reaktiver Systeme: Ein Fallbeispiel
  No. SFB 501 Bericht 08/03, 2003
  (abstract)

Diploma Theses

• W. Hanke
  Modellbasierte Konsistenzpruefung und -herstellung in Entwicklungsdokumenten
  Master thesis, September 2003
  (PDF, 927 KB)

Project Works

• D. Schmidt
  Entwurf eines Java-Gebäudesimulators unter Berücksichtigung von Entwurfsmustern
  Projektarbeit, Universität Kaiserslautern, 2003
  

• T. Brack
  Testfallbeschreibung für Pattern-basierte Entwurfsmethoden
  Projektarbeit, Universität Kaiserslautern, 2003