Publications

FOREST Publications

Publications

[GoKrPe96] R. Gotzhein, M. Kronenburg, C. Peper:
Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
SFB 501 Report 15/1996
[GoKrPe98a] R. Gotzhein, M. Kronenburg, C. Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern
SFB 501 Report 08/1998
[GoKrPe98b] R. Gotzhein, M. Kronenburg, C. Peper:
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirements Pattern
5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), Lyngby, Denmark, 1998, LNCS 1486, Springer, pp. 65-74
[GoKrPe99] R. Gotzhein, M. Kronenburg, C. Peper:
Pattern-Based Requirements Capture Applied: The SFB 501 Case Study
in: E. Börger, B. Hörger, D. Parnas, D. Rombach (Hrsg.): "Requirements Capture, Documentation, and Validation", Dagstuhl-Seminar-Report 242, Juni 1999
[KrGoPe96] M. Kronenburg , R. Gotzhein , C. Peper:
A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
SFB 501 Report 16/1996
[KrPe00] M. Kronenburg , C. Peper:
Application of the FOREST Approach to the Light Control Case Study
in: Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), pp. 679-703, Springer, 2000
[KrPe99a] M. Kronenburg , C. Peper:
An example of a FOREST Problem Specification
SFB 501 Report 01/1999
[KrPe99b] M. Kronenburg , C. Peper:
Definition and Instantiation of a Reference Model for Problem Specifications
11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336
[PeGoKr97a] C. Peper, R. Gotzhein, M. Kronenburg:
Formal Specification of Real-Time Requirements for Building Automation Systems
SFB 501 Report 01/1997
[PeGoKr97b] C. Peper, R. Gotzhein, M. Kronenburg:
A Generic Approach to the Formal Specification of Requirements
1st IEEE International Conference on Formal Engineering Methods 1997 (ICFEM'97), Hiroshima, Japan, pp. 252-261

 





 

 
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 
This page in english. Diese Seite auf englisch.