SFB 501

Technical Reports 1996

TR-2/1996: A Synthesis of Two Process Support Approaches.
    Martin Verlage, Barbara Dellen, Frank Maurer, and Jürgen Münch.
     Abstract  Download  Origin
 

TR-4/1996: A Process Model for the Experimental Evaluation of Software Development Processes.
    Oliver Laitenberger and Jürgen Münch.
     Abstract  Download  Origin
 

TR-5/1996: Combining a state based formalism with temporal logic
    Thomas Deiß
     -no abstract-  -no download-  Origin
 

TR-6/1996: Enriching Software Process Support by Knowledge-based Techniques.
    Barbara Dellen, Frank Maurer, Jürgen Münch, and Martin Verlage.
     Abstract  Download  Origin
 

TR-8/1996: Experiences in Formalizing Project Handbooks.
    Martin Verlage.
     Abstract  Download  Origin
 

TR-9/1996: Objektorientierte Modellierung einer Simulationsumgebung mit Patterns
    J. P. Riegel, M. Schütze, G. Zimmermann
     Abstract  Download  Origin
 

TR-10/1996: Formalizing Software Engineering Standards.
    Martin Verlage and Jürgen Münch.
     Abstract  Download  Origin
 

TR-11/1996: MPOK: Modeling and Generating Smalltalk Data Management Code
    B. Schürmann, C. Kaesling, J. Altmeyer, S. Queins, M. Schütze
     -no abstract-  -no download-  Origin
 

TR-13/1996: Installation eines Testraums zur Gebäudeautomation und deren Schnittstelle
    A. Metzger, S. Queins, B. Schürmann
     -no abstract-  -no download-  Origin
 

TR-14/1996: Generic Layout of Communication Subsystems - A Case Study
    R. Gotzhein, B. Geppert , C. Peper, F. Rößler
     -no abstract-  Download  Origin
 

TR-15/1996: Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
    R. Gotzhein, M. Kronenburg, C. Peper
     -no abstract-  Download  Origin
 

TR-16/1996: A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
    M. Kronenburg , R. Gotzhein , C. Peper
     -no abstract-  Download  Origin
 

TR-16/1996: A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation System
    Martin Kronenburg, Reinhard Gotzhein, and Christian Peper
     -no abstract-  -no download-  Origin
 

TR-17/1996: Automatic Configuration of Communication Subsystems - A Survey
    B. Geppert, F. Rößler
     -no abstract-  Download  Origin
 

TR-18/1996: A Clock-independent Model for Real-Time
    F. Rößler, B. GeppertR. Gotzhein
     -no abstract-  Download  Origin
 

TR-19/1996: Pattern-based Configuring of a Customized Resource Reservation Protocol with SDL
    B. Geppert, F. Rößler
     -no abstract-  Download  Origin
 

 
Wed May 19 17:11:55 CEST 2004


SFB 501 - Development of Large Systems with Generic Methods