|
|
|
|
| Publications |
| [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 |
| Comp. Networks Group | People and Addresses | Christian Peper | Publications |
| Imprint | C. Peper, 11/06/02 |