SFB 501

Technical Reports 1997

TR-1/1997: Formal Specification of Real-Time Requirements for Building Automation Systems
    C. Peper, R. Gotzhein, M. Kronenburg
     -no abstract-  Download  Origin

TR-2/1997: MHEG in Java - Integrating a Multimedia Standard into the Web
    L. Geyer, M. Baentsch, L. Baum, G. Molter, S. Rothkugel, P. Sturm
     -no abstract-  -no download-  Origin

TR-3/1997: A Case Study on the Use of SDL
    Thomas Deiß and Thomas Hillenbrand
     -no abstract-  -no download-  Origin

TR-4/1997: A Catalogue of Criteria for Evaluating Formal Methods and Its Application
    Thomas Deiß, Martin Kronenburg, and Dirk Zeckzer
     -no abstract-  -no download-  Origin

TR-5/1997: Building Automation: A Software Engineer's View
    G. Zimmermann
     -no abstract-  -no download-  Origin

TR-6/1997: Online-Support für Techniken und Werkzeuge in einem Software-Entwicklungslabor.
    Frank Kollnischko, Stefan Vorwieger, Marcus Ciolkowski, Stefan Haubrichs and Dirk Muthig.
     Abstract  Download  Origin

TR-7/1997: Modeling Real-Time Systems with SCR - An Evaluation and Lessons Learned in a Building Automation System Project.
    Lothar Baum, Barbara Dellen, Erik Kamsties, Antje von Knethen and Stefan Vorwieger.
     Abstract  Download  Origin

TR-8/1997: Goal-oriented Organizational Learning with the SFB 501 Experience Base.
    Raimund L. Feldmann, Jürgen Münch, and Stefan Vorwieger.
     Abstract  Download  Origin

TR-12/1997: Pattern-based Configuring of the Internet Stream Protocol ST2+ with SDL
    B. Geppert, F. Rößler, P. Schaible
     -no abstract-  Download  Origin

TR-13/1997: Empirical Investigation of Perspective-based Reading: A Replicated Experiment.
    Marcus Ciolkowski, Christiane Differding, Oliver Laitenberger, and Jürgen Münch.
     -no abstract-  -no download-  Origin

Wed May 19 17:11:55 CEST 2004

SFB 501 - Development of Large Systems with Generic Methods
FB 501 - Development of Large Systems with Generic Methods