SFB 501
| TR-1/1998: The web-based Interface to the SFB 501 Experience Base. | |||
| Raimund L. Feldmann and Stefan Vorwieger. | |||
 Abstract
| Download
| Origin
| |
| TR-2/1998: Demo-Viewer - Ein Frontend zur Präsentation der Teilprojekte des SFB 501. | |||
| Marco Habetz. | |||
| Abstract
| Download
| Origin
| |
| TR-3/1998: A Formal Process Model for the Software Development Method SOMT. | |||
| Erik Petersen, Jürgen Münch, and Birgit Geppert. | |||
| Abstract
| Download
| Origin
| |
| TR-3/1998: A Formal Process Model for the Software Development Method SOMT | |||
| E. Petersen, J. Münch, B. Geppert | |||
| -no abstract- | Download
| Origin
| |
| TR-4/1998: Towards an Experimental Evaluation of SDL-Pattern based Protocol Design | |||
| R.L. Feldmann, B. Geppert, F. Rößler | |||
| -no abstract- | Download
| Origin
| |
| TR-4/1998: Towards an Experimental Evaluation of SDL-Pattern based Protocol Design. | |||
| Raimund L. Feldmann, Birgit Geppert and Frank Rößler. | |||
| Abstract
| Download
| Origin
| |
| TR-5/1998: A Framework for the Analysis of Formal Description Techniques for Timed Systems | |||
| Robert Eschbach, Thomas Deiß, and Martin Kronenburg | |||
| -no abstract- | -no download- | Origin
| |
| TR-7/1998: Temporal Logics as Examples of Formal Description Techniques for Timed Systems | |||
| Martin Kronenburg, Thomas Deiß, and Robert Eschbach | |||
| -no abstract- | -no download- | Origin
| |
| TR-8/1998: Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern | |||
| R. Gotzhein, M. Kronenburg, C. Peper | |||
| -no abstract- | Download
| Origin
| |
| TR-8/1998: Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirements Pattern | |||
| Reinhard Gotzhein, Martin Kronenburg, and Christian Peper | |||
| -no abstract- | -no download- | Origin
| |
| TR-10/1998: A domain Specific Model Architecture for Complex Embedded Systems: A Building Automation Case Study | |||
| G. Zimmermann | |||
| -no abstract- | -no download- | Origin
| |
| TR-11/1998: A Repository-Based Improvement Cycle for Reuse-Driven SDL System Development | |||
| R.L. Feldmann, B. Geppert, F. Rößler | |||
| -no abstract- | Download
| Origin
| |
| TR-11/1998: A Repository-Based Improvement Cycle for Reuse-Driven SDL System Development. | |||
| Raimund L. Feldmann, Birgit Geppert and Frank Rößler. | |||
| Abstract
| Download
| Origin
| |
|
| |||
Wed May 19 17:11:55 CEST 2004
SFB 501 - Development of Large Systems with Generic Methods