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