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. |