![[Logo der AG Vernetzte Systeme]](/images/vs.gif)
Jahr 1998
| Zeitschriften- und Buchbeiträge |
 | Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforchungsbereich 501 |
|
[Av+98] J. Avenhaus, R. Gotzhein, T. Härder, L. Litz, K. Madlener, J. Nehmer, M. Richter, N. Ritter, D. Rombach, B. Schürmann, G. Zimmermann Informatik, Forschung und Entwicklung, 13(4), pp. 227-234, 1998 |
| | Trends in Formal Description Techniques |
|
[GoBr98] R. Gotzhein, J. Bredereke (Guest Editors): Theme Issue of Computer Networks and ISDN Systems (North Holland), Vol. 30, Numbers 9-10, 1998 |
| Konferenzbeiträge |
| | Combining SDL Patterns with Continuous Quality Improvement: An Experience Base Tailored to SDL Patterns |
|
[Ge+98b] B. Geppert, F. Rößler, R.L. Feldmann, S. Vorwieger 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 |
| | Open Estelle - An FDT for Open Distributed Systems |
|
[ThGo98b] J. Thees, R. Gotzhein in: S. Budkowski, A, Cavalli, E. Najm (Edts.): Formal Destcription Techniques and Protocol Specification, Testing and Verification (FORTE XI/PSTV XVIII'98), Kluwer Academic Publishers, 1998 |
| | Protocol Implementation with Estelle - from Prototypes to Efficient Implementations |
|
[The98] J. Thees in: S. Budkowski, S. Fischer, R. Gotzhein: Proc. of the 1st International Workshop of the Formal Description Technique Estelle (ESTELLE'98), Evry, France, Nov. 1998 |
| | Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns |
|
[RoGeSc98] F. Rößler, B. Geppert, P. Schaible Proceedings of the 5th IEEE International Conference on Software Reuse, ICSR5, Victoria, British Columbia, Canada, 1998 |
| | Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern |
|
[GoKrPe98b] R. Gotzhein, M. Kronenburg, C. Peper 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), LNCS 1486, Springer 1998, pp. 65-74 |
| | SDL-Pattern based Development of a Communication Subsystem for CAN |
|
[Ge+98a] B. Geppert, A. Kühlmeyer, F. Rößler, M. Schneider IFIP Joint International Conference on Formal Description Techniques & Protocol Specification, Testing, and Verification, FORTE XI / PSTV XIII '98, Paris, France, 1998 |
| | Systematic Evolution of Reusable SDL Patterns |
|
[GeRoFe98] B. Geppert, F. Rößler, R. Feldmann European Reuse Workshop, ERW'98, Madrid, Spain, 1998 |
| | The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications |
|
[ThGo98a] J. Thees, R. Gotzhein in: M. Ardis (Edt.), Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 1998 |
| | Tool Support for SDL Patterns |
|
[Ci+98] D. Cisowski, B. Geppert, F. Rößler, M. Schwaiger 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 |
| | Towards a New Formal SDL Semantics |
|
[Go+98] R. Gotzhein, B. Geppert, F. Rößler, P. Schaible 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 |
| | Towards a New Formal SDL Semantics |
|
[GoGeRoSc98] R. Gotzhein, B. Geppert, F. Rößler, P. Schaible Workshop of the SDL Forum Society on SDL and MSC (SAM '98), Berlin, Germany, 1998 |
| | Using SDL Patterns for the Design of a CAN-based Communication Subsystem |
|
[GeRoSc98] B. Geppert, F. Rößler, M. Schneider in: H. König, P. Langendörfer (Eds.), Proceedings of the 8th GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", FBT98, Cottbus, 1998, Shaker Verlag |
| Technische Berichte |
| | A Formal Process Model for the Software Development Method SOMT |
|
[PeMuGe98] E. Petersen, J. Münch, B. Geppert (in German), SFB 501 Report 03/1998 |
| | A Repository-Based Improvement Cycle for Reuse-Driven SDL System Development |
|
[FeGeRo98b] R.L. Feldmann, B. Geppert, F. Rößler SFB 501 Report 11/1998 |
| | Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern |
|
[GoKrPe98a] R. Gotzhein, M. Kronenburg, C. Peper SFB 501 Report 08/1998, Department of Computer Sciences, University of Kaiserslautern, Germany, 1998 |
| | Towards an Experimental Evaluation of SDL-Pattern based Protocol Design |
|
[FeGeRo98a] R.L. Feldmann, B. Geppert, F. Rößler SFB 501 Report 04/1998 |
| Diplomarbeiten |
| | Design und Implementierung einer portablen grafischen Oberfläche zur Visualisierung und Steuerung des Ablaufs von Estelle-Implementierungen |
|
[Wen98] M. Wenz Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Mai 1998 |
| | Entwurf und Implementierung eines echtzeitfähigen Kommunikationssubsystems für CAN |
|
[Schn98] M. Schneider Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Feb 1998 |
| Projektarbeiten |
| | Erweiterung eines Telefonvermittlungssystems in Estelle |
|
[Je98] D. Jerusalem Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Aug. 1998 |
| | SDL-Pattern basiertes Reengineering von RTP (Realtime Transport Protocol) |
|
[Li98] S. van Lier Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Aug. 1998 |
| Vorträge |
| | Engineering-like Development of Customized Communication Software |
|
[Go98cp] R. Gotzhein Kolloquium, Universität Zürich, 25.6.1998 |
| | Formale Spezifikation von Echtzeitanforderungen |
|
[Go98ap] R. Gotzhein GI-Fachgespräch über Quality of Service, Mannheim, 12.-13.3.1998 |
| | Musterbasierte Entwicklung von Kommunikationsprotokollen mit SDL |
|
[Go98bp] R. Gotzhein RIO6-Kolloquium, Daimler-Benz Aerospace AG, Bremen, 16.6.1998 |
| | Musterbasierte Systementwicklung |
|
[Go98dp] R. Gotzhein Daimler-Benz Research, Berlin, 2.7.1998 |
| | Pattern-based System Development |
|
[Go98ep] R. Gotzhein Kolloquium, Ecole Polytechnique Federale, Lausanne, 9.7.1998 |
| | SDL Patterns - Ein Ansatz zur generischen Protokollentwicklung |
|
[Ge98p] B. Geppert Forschungsseminar, Humboldt Universität Berlin, 17.2.1998 |
| | The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications |
|
[The98p] J. Thees 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, March 4/5, 1998 |
| | The eXperimental Estelle Compiler - Automatic Generation of Implementations from Formal Specifications |
|
[ThGo98p] J. Thees Proceedings of The 2nd Workshop on Formal Methods in Software Practice (FMSP'98), Clearwater Beach, Florida, USA, ??? March 1998 |
| | Wiederverwendung von Lösungskomponenten und Entwicklungs-Know-how |
|
[Go98fp] R. Gotzhein Deutsche Telekom, Saarbrücken, 16.12.1998 |
| Ausstellungen |
| | An Experience Base Tailored to SDL Patterns |
|
[Fe+98] R. Feldmann, S. Vorwieger, B. Geppert, F. Rößler Tool Demonstration, 1st Workshop of the SDL Forum Society on SDL and MSC (SAM98), Berlin, 29.6.- 1.7.1998 |
| | Ingenieurmäßige Entwicklung maßgeschneiderter Kommunikationssoftware |
|
[Go+98a] R. Gotzhein, B. Geppert, C. Peper, F. Rößler, P. Schaible CeBIT 98, Hannover, 19.-25.3.1998 |
| | Maßschneiderung echtzeitfähiger Kommunikationssoftware |
|
[Go+98b] R. Gotzhein, B. Geppert, C. Peper, F. Rößler, P. Schaible CeBIT 98, Hannover, 19.-25.3.1998 |
| | Übergeordnete Seite: Publikationen |
| | Feedback |
| Zu den Kontaktdetails des Verantwortlichen dieser Seite |
| | English  |
| This page in english. Diese Seite auf englisch. |