![[logo of the networked systems group]](/en/images/vs.gif)
Year 1999
| Books and Journals |
 | Pattern-Based Development of Communication Subsystems |
|
[GoSc99] R. Gotzhein, P. Schaible in: Annals of Telecommunications, Special Issue on Protocol Engineering, Vol. 54, No. 11-12, 1999, pp. 508-525 |
| Proceedings |
| | An Integrating Approach for Developing Distributed Software Systems - Combining Formal Methods, Software Reuse, and the Experience Base |
|
[FeGeRo99c] R. Feldmann, B. Geppert, F. Rößler Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, USA, Oktober 1999 |
| | Continuous Improvement of Reuse-Driven SDL System Development |
|
[FeGeRo99b] R. Feldmann, B. Geppert, F. Rößler Proceedings of the 11th International Confe rence on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Juni 1999 |
| | Definition and Instantiation of a Reference Model for Problem Specifications |
|
[KrPe99b] M. Kronenburg , C. Peper 11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336 |
| | Implementierungs- und Optimierungsmodelle des Expermental Estelle Compilers |
|
[Th99] J. Thees in: K. Spies, B. Schätz (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme (FBTŽ99), Herbert Utz Verlag Wissenschaft, ISBN 3-89675-918-3, München, Juni 1999 |
| | Pattern Application vs. Inheritance in SDL |
|
[GeRoGo99] B. Geppert, F. Rößler, R. Gotzhein 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, (FMOODS '99), Florence, Italy,Kluwer Academic Publishers 1999 |
| | Pattern-Based Reuse with SDL |
|
[GeRo99] B. Geppert, F. Rößler Tutorial Notes, 9th SDL Forum (SDL'99), Montreal, Kanada, 21.-25. Juni 1999 |
| | Towards a New Formal SDL Semantics Based on Abstract State Machines |
|
[GlGoPr99b] U. Glässer, R. Gotzhein, A. Prinz in: R. Dssouli, G.v. Bochmann, Y. Lahav (Eds.), SDL'99 - The Next Millenium, Proc. of the 9th SDL FORUM, Elsevier Science B.V., Juli 1999 |
| | Transformations in Pattern-based System Specifications |
|
[Pe99] C. Peper 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 |
| Technical reports |
| | An example of a FOREST Problem Specification |
|
[KrPe99a] M. Kronenburg , C. Peper SFB 501 Report 01/1999 |
| | First Results from an Experimental Evaluation of SDL-Pattern Based Protocol Design |
|
[FeGeRo99a] R. Feldmann, B. Geppert, F. Rößler SFB 501 Report 03/1999 |
| | Pattern-Based Requirements Capture Applied: The SFB 501 Case Study |
|
[GoKrPe99] R. Gotzhein, M. Kronenburg, C. Peper in: E. Börger, B. Hörger, D. Parnas, D. Rombach (Eds.): "Requirements Capture, Documentation, and Validation", Dagstuhl-Seminar-Report 242, June 1999 |
| | SDL Formal Semantics Definition |
|
[GlGoPr99a] U. Glässer, R. Gotzhein, A. Prinz Technical Report tr-rsfb-99-065, Department of Mathematics and Computer Science, University of Paderborn, Germany, 1999 |
| | The ORDBMS-Based SFB 501 Experience Base - Exemplified by the SDL-Pattern Approach |
|
[Fe+99] R. Feldmann, B. Geppert, W. Mahnke, N. Ritter, F. Rößler SFB 501 Report 08/1999 |
| Diploma thesis |
| | Ein Editor zur Dokumentation von SDL Patterns |
|
[Ci99] D. Cisowski Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999 |
| | Re-Engineering und Implementierung eines ATM-Signalisierungsprotokolls mit SDL-Patterns |
|
[Gro99] T. Groß Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Sept. 1999 |
| | SDT-basierte Anbindung von SDL-Entwurfsspezifikationen an verschiedene Basistechnologien |
|
[Kue99] A. Kühlmeyer Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999 |
| | Werkzeugunterstützte Anwendung von SDL Patterns |
|
[Schw99] M. Schwaiger Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999 |
| Project thesis |
| | Entwicklung eines Werkzeugs zur Erfassung und Aufbereitung von Monitoring-Daten |
|
[Mue99] M. Müller Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999 |
| | Entwurf und Implementierung eines Netzwerk-Accounting-Paketes NAccPak |
|
[BauKl99] V. Bauer, R. Kleinfeld Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juli 1999 |
| Presentations |
| | Der SDL-Pattern-Ansatz |
|
[Ge99p] B. Geppert Workshop Software-Reuse des SFB 501, Kaiserslautern, 22.-23. Februar 1999 |
| | Musterbasierte Entwicklung von Kommunikationsmiddleware |
|
[Go99p] R. Gotzhein Kolloquium, Fachbereich Informatik, Universität Braunschweig, 12. Juli 1999 |
| | Transformationen in musterbasierten Systemspezifikationen |
|
[Pe99bp] C. Peper 9th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme" (FBT'99), München, Juni 1999 |
| | Wiederverwendung bei der Anforderungsspezifikation: Der FOREST-Ansatz |
|
[Pe99ap] C. Peper Workshop "Software-Reuse" des SFB 501, Kaiserslautern, 22.-23. Februar 1999 |
| | Specification of the Case Study "Light Control System" |
|
[KrPe99c] M. Kronenburg , C. Peper Dagstuhl-Seminar "Requirements Capture, Documentation, and Validation", 13.-18. Juni 1999, http://rn.informatik.uni-kl.de/~forest/examples |
| | Superordinated page: Publications |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |