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