Logo AG RN
Arbeitsgruppe Rechnernetze
Fachbereich Informatik, Universität Kaiserslautern
Logo Uni KL
Veröffentlichungen

English

[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
[Pe02] C. Peper:
Software zum Anfassen
Uni Spectrum 1/2002, Universität Kaiserslautern, Juli 2002, pp. 25-26
[Qu+00] S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schäfer:
The Light Control Case Study: Problem Description
in: Journal of Universal Computer Science (J.UCS), Special Issue on Requirements Engineering 6(7), pp. 586-596, Springer, 2000
[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
[GoPe01] R. Gotzhein, C. Peper:
Einsatz von FoReST zur Entwicklung einer verteilten Lichtsteuerung
11. ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Bruchsal, 21.-22.6.2001
[GoPeScTh03] R. Gotzhein, C. Peper, P. Schaible, J. Thees:
Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie
ITG/VDE-Fachtagung "Kommunikation in verteilten Systemen" (KiVS'03), Leipzig, 26.-28.02.2003
[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
[Pe99] C. Peper:
Transformations in Pattern-based System Specifications
9th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme" (FBT'99), München, 1999, Herbert-Utz-Verlag, ISBN 3-89675-918-3, pp. 165-173
[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
[Go+96b] R. Gotzhein, B. Geppert , C. Peper, F. Rößler:
Generic Layout of Communication Subsystems - A Case Study
SFB 501 Report 14/1996
[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
[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 (Eds.): "Requirements Capture, Documentation, and Validation", Dagstuhl-Seminar-Report 242, June 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
[KrPe99a] M. Kronenburg , C. Peper:
An example of a FOREST Problem Specification
SFB 501 Report 01/1999
[PeGoKr97a] C. Peper, R. Gotzhein, M. Kronenburg:
Formal Specification of Real-Time Requirements for Building Automation Systems
SFB 501 Report 01/1997

AG Rechnernetze Personen und Adressen Christian Peper Veröffentlichungen

Impressum
C. Peper, 06.11.02