|
Proceedings / Reports |
R.L.
Feldmann, B. Geppert,
and F. Rößler,
Continuous Improvement of Reuse-Driven SDL System Development, 11th International Conference on Software Engineering and Knowledge Engineering, SEKE'99, Kaiserslautern, Germany, 1999 |
|
B. Geppert,
F. Rößler,
and R. Gotzhein,
Pattern Application vs. Inheritance in SDL, Proceedings of the 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS '99, Florence, Italy, 1999 |
|
B. Geppert, F.
Rößler, and R.L.
Feldmann,
Systematic Evolution of Reusable SDL Patterns, Proceedings of the European Reuse Workshop, ERW'98, Madrid, Spain, 1998 |
|
B. Geppert,
A. Kühlmeyer, F.
Rößler, and M. Schneider,
SDL-Pattern based Development of a Communication Subsystem for CAN, Proceedings of the IFIP Joint International Conference on Formal Description Techniques & Protocol Specification, Testing, and Verification, FORTE XI / PSTV XIII '98, Paris, France, 1998 |
|
B. Geppert,
F. Rößler,
R.L. Feldmann,
and S.
Vorwieger,
Combining SDL Patterns with Continuous Quality Improvement: An Experience Base Tailored to SDL Patterns, in: Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998 |
|
D. Cisowski, B.
Geppert, F. Rößler,
and M. Schwaiger,
Tool Support for SDL Patterns, in: Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998 |
|
R. Gotzhein,
B. Geppert, F.
Rößler, and P.
Schaible,
Towards a New Formal SDL Semantics, in: Y. Lahav, A. Wolisz, J. Fischer, E. Holz (Eds.), Proceedings of the 1st Workshop of the SDL Forum Society on SDL and MSC, SAM98, Berlin, 1998 |
|
B. Geppert,
F. Rößler,
and M. Schneider,
Using SDL Patterns for the Design of a CAN-based Communication Subsystem, Proceedings of the 8th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", FBT98, Cottbus, 1998 |
|
F. Rößler,
B. Geppert, and P.
Schaible,
Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns, Proceedings of the 5th International Conference on Software Reuse, ICSR5, Victoria, British Columbia, Canada, 1998 |
|
B. Geppert,
F. Rößler,
Generic Engineering of Communication Protocols - Current Experience and Future Issues, Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, ICFEM'97, Hiroshima, Japan, 1997 |
|
F. Rößler,
B. Geppert,
Applying Quality of Service Architectures to the Field-Bus Domain, Proceedings of the 2nd IEEE International Workshop on Factory Communication Systems, WFCS'97, Barcelona, Spain, 1997 |
|
B. Geppert, R.
Gotzhein, and F.
Rößler,
Configuring Communication Protocols Using SDL Patterns, in: A. Cavalli, A. Sarma (Eds.): SDL'97 - Time for Testing, Elsevier Science Publishers, Proceedings of the 8th SDL Forum, SDL '97, Paris/Evry, France, September 1997 |
|
B. Geppert, F.
Rößler,
Combining SDL and Pattern-based Design for the Customization of Communication Subsystems, in: A. Wolisz, I. Schieferdecker, A. Rennoch (Ed.): Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, 19.-20. Juni 1997, Berlin (GMD-Studien Nr. 315) ISBN 3-88457-315-2, pp. 201-210 |
R.L.
Feldmann, B. Geppert,
and F. Rößler,
A Repository-Based Improvement Cycle for Reuse-Driven SDL System Development, SFB 501 Report 11/98, University of Kaiserslautern, 1998 |
|
R.L.
Feldmann, B. Geppert,
and F. Rößler,
Towards an Experimental Evaluation of SDL-Pattern based Protocol Design, SFB 501 Report 04/98, University of Kaiserslautern, 1998 |
|
E. Petersen, J.
Münch, and B.
Geppert,
A Formal Process Model for the Software Development Method SOMT (in German), SFB 501 Report 03/98, University of Kaiserslautern, 1998 |
|
B. Geppert,
F. Rößler,
and P. Schaible,
Pattern-based Configuring of the Internet Stream Protocol ST2+ with SDL, SFB 501 Report 12/97, University of Kaiserslautern, 1997 |
|
B. Geppert,
F. Rößler,
Pattern-based Configuring of a Customized Resource Reservation Protocol with SDL, SFB 501 Report 19/96, University of Kaiserslautern, 1996 |
|
F. Rößler,
B. Geppert, R.
Gotzhein,
A Clock-independent Model for Real-Time, SFB 501 Report 18/96, University of Kaiserslautern, 1996 |
|
B. Geppert, F.
Rößler,
Automatic Configuration of Communication Subsystems - A Survey, SFB 501 Report 17/96, University of Kaiserslautern, 1996 |
|
R. Gotzhein,
B. Geppert, C.
Peper, and F. Rößler,
Generic Layout of Communication Subsystems - A Case Study, SFB 501 Report 14/96, University of Kaiserslautern, 1996 |
Dept. of Comp. Science | Comp. Networks Group | People & Adr. | Birgit Geppert | Publications |