SFB 501
TR-2/1996: A Synthesis of Two Process Support Approaches. | |||
Martin Verlage, Barbara Dellen, Frank Maurer, and Jürgen Münch. | |||
![]() | ![]() | ![]() | |
TR-4/1996: A Process Model for the Experimental Evaluation of Software Development Processes. | |||
Oliver Laitenberger and Jürgen Münch. | |||
![]() | ![]() | ![]() | |
TR-5/1996: Combining a state based formalism with temporal logic | |||
Thomas Deiß | |||
-no abstract- | -no download- | ![]() | |
TR-6/1996: Enriching Software Process Support by Knowledge-based Techniques. | |||
Barbara Dellen, Frank Maurer, Jürgen Münch, and Martin Verlage. | |||
![]() | ![]() | ![]() | |
TR-8/1996: Experiences in Formalizing Project Handbooks. | |||
Martin Verlage. | |||
![]() | ![]() | ![]() | |
TR-9/1996: Objektorientierte Modellierung einer Simulationsumgebung mit Patterns | |||
J. P. Riegel, M. Schütze, G. Zimmermann | |||
![]() | ![]() | ![]() | |
TR-10/1996: Formalizing Software Engineering Standards. | |||
Martin Verlage and Jürgen Münch. | |||
![]() | ![]() | ![]() | |
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- | ![]() | |
TR-13/1996: Installation eines Testraums zur Gebäudeautomation und deren Schnittstelle | |||
A. Metzger, S. Queins, B. Schürmann | |||
-no abstract- | -no download- | ![]() | |
TR-14/1996: Generic Layout of Communication Subsystems - A Case Study | |||
R. Gotzhein, B. Geppert , C. Peper, F. Rößler | |||
-no abstract- | ![]() | ![]() | |
TR-15/1996: Specifying and Reasoning about Generic Real-Time Requirements - A Case Study | |||
R. Gotzhein, M. Kronenburg, C. Peper | |||
-no abstract- | ![]() | ![]() | |
TR-16/1996: A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems | |||
M. Kronenburg , R. Gotzhein , C. Peper | |||
-no abstract- | ![]() | ![]() | |
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- | ![]() | |
TR-17/1996: Automatic Configuration of Communication Subsystems - A Survey | |||
B. Geppert, F. Rößler | |||
-no abstract- | ![]() | ![]() | |
TR-18/1996: A Clock-independent Model for Real-Time | |||
F. Rößler, B. GeppertR. Gotzhein | |||
-no abstract- | ![]() | ![]() | |
TR-19/1996: Pattern-based Configuring of a Customized Resource Reservation Protocol with SDL | |||
B. Geppert, F. Rößler | |||
-no abstract- | ![]() | ![]() | |
|
Wed May 19 17:11:55 CEST 2004
SFB 501 - Development of Large Systems with Generic Methods