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

	Superordinated page: FOREST - Formal Requirement Specification Technique

	Feedback
	Go to the contact details of the person in charge of this page

	Deutsch
	This page in german. Diese Seite auf deutsch.