Jahr 1997

Konferenzbeiträge

 A Generic Approach to the Formal Specification of Requirements
[PeGoKr97b]
C. Peper, R. Gotzhein, M. Kronenburg
Proceedings of the 1st IEEE International Conference on Formal Engineering Methods (ICFEM'97), Hiroshima, Japan, 1997, pp. 252-261

 Applying Quality of Service Architectures to the Field-Bus Domain
[RoGe97a]
F. Rößler, B. Geppert
Proceedings of the 2nd IEEE International Workshop on Factory Communication Systems, WFCS'97, Barcelona, Spain, 1997

 Combining SDL and Pattern-based Design for the Customization of Communication Subsystems
[GeRo97a]
B. Geppert, F. Rößler
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

 Configuring Communication Protocols Using SDL Patterns
[GeGoRo97]
B. Geppert, R. Gotzhein, F. Rößler
in: A. Cavalli, A. Sarma (Eds.): SDL'97 - Time for Testing, Elsevier Science Publishers, Proceedings of the 8th SDL-Forum, Evry, France, 1997

 Generation of Efficient Protocol Implementations - an Experimental Code Generator for Estelle and its Application to XTP
[ThGo97d]
J. Thees, R. Gotzhein
Proceedings of the 6th Open Workshop on High Speed Networks, Stuttgart, Germany, 1997

 Generic Engineering of Communication Protocols - Current Experience and Future Issues
[GeRo97b]
B. Geppert, F. Rößler
Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, ICFEM'97, Hiroshima, Japan, 1997

 Implementing Real-Time Communication on a Token-Ring Network
[RoKu97]
F. Rößler, A. Kühlmeyer
6th Open Workshop on High Speed Networks, HSN'97, Stuttgart, Germany, 1997

 Leistungsbewertung automatisch generierter Protokollimplementierungen
[ThGo97b]
J. Thees, R. Gotzhein
in: K. Irmscher, Ch. Mittasch, K. Richter (Hrsg.): Messung, Modellierung und Bewertung von Rechen- und Kommunikationssystemen, Kurzbeiträge und Toolbeschreibungen zur 9. ITG/GI-Fachtagung MMB'97, Informatik in Freiberg, Band 4, TU Bergakademie Freiberg, 1997

 Open Estelle - A Formal Description Technique for Open Distributed Systems
[ThGo97e]
J. Thees, R. Gotzhein
International Workshop on Dynamic Modeling of Information Systems, Yamagata, Japan, November 1997

Technische Berichte

 A Formal Syntax and a Formal Semantics for Open Estelle
[ThGo97c]
J. Thees, R. Gotzhein
Technical Report No. 292/97, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997

 Formal Specification of Real-Time Requirements for Building Automation Systems
[PeGoKr97a]
C. Peper, R. Gotzhein, M. Kronenburg
SFB 501 Report 01/1997, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997

 Jahresbericht 1997
[AgRn97]
AG Rechnernetze
Universität Kaiserslautern, 1997

 Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle - eine Bestandsaufnahme
[ThGo97a]
J. Thees, R. Gotzhein
Interner Bericht 290/97, Department of Computer Sciences, University of Kaiserslautern, Germany, 1997

 Pattern-based Configuring of the Internet Stream Protocol ST2+ with SDL
[GeRoSc97]
B. Geppert, F. Rößler, P. Schaible
SFB 501 Report 12/1997

Dissertation

 Communication Systems Design with Estelle - On Style, Efficiency, and Analysis
[Br97a]
J. Bredereke, J.
PhD thesis, Shaker Verlag, Aachen, Germany, (Aug. 1997)

Diplomarbeiten

 Pattern-basierte Konfigurierung des Reservierungsprotokolls ST2+ und Erstellung eines SDL-Frameworks für Ressourcenreservierungsprotokolle
[Sc97]
P. Schaible
Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Sept. 1997

Projektarbeiten

 Musterbasierte Konfigurierung des Internet-Protokolls IPv6 mit SDL
[Schw97]
M. Schwaiger
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Dez. 1997

 Spezifikation zusätzlicher Leistungsmerkmale für ein Telefonvermittlungssystem
[Mic97]
T. Michels
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juli 1997

 Spezifikationsvarianten des Alternating-Bit Protokolls in SDL/SDT
[La97]
M. Lang
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1997

 Variantenbildung in SDL-92
[Kue97]
A. Kühlmeyer
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1997

 Verteilung einer Simulation für das Inverse Pendel
[Gro97]
T. Groß
Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juni 1997

Ausstellungen

 Advanced Software Reuse through Formal Methods
[GoGeRo97]
R. Gotzhein, B. Geppert, F. Rößler
Technologietransferkongress "IKT-Anwendungen auf Netzen" im Rahmen des III. Mannheimer Unternehmerforums, 6./7. Oktober 1997




 Übergeordnete Seite: Publikationen

 Feedback
Zu den Kontaktdetails des Verantwortlichen dieser Seite

 English
This page in english. Diese Seite auf englisch.