 Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den Sonderforchungsbereich 501
|
|
| 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, Dezember 1998
|
|
| -no abstract-
| -no download-
|  Origin
|
|
|
| Entwurf und Implementierung eines Ressourcen-Verwalters zur Echtzeitkommunikation
|
|
| C. Bobek
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Aug. 1996
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Requirements Engineering: The Light Control Case Study
|
|
| E. Börger, R. Gotzhein (Guest Eds.)
|
|
| Special Issue of the Journal of Universal Computer Science (J.UCS), Numbers 6(7), Springer, 2000
|
|
| -no abstract-
| Download
| Origin
|
|
|
| The Light Control Case Study: A Synopsis
|
|
| E. Börger, R. Gotzhein
|
|
| in: Journal of Universal Computer Science (J.UCS), Special Issue on Requirements Engineering 6(7), Springer, 2000
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Simulation der Kommunikationsmiddleware am Beispiel eines Gebäudeautomatisierungssystems
|
|
| T. Bohler
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2001
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Tool Support for SDL Patterns
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Ein Editor zur Dokumentation von SDL Patterns
|
|
| D. Cisowski
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999
|
|
| -no abstract-
| Download
| Origin
|
|
|
| On the Formal Semantics of SDL-2000: A Compilation Approach Based on an Abstract SDL Machine
|
|
| R. Eschbach, U. Glässer, R. Gotzhein, A. Prinz
|
|
| in: Y. Gurevich, P.W. Kutter, M. Odersky, L. Thiele (Eds.): Abstract State Machines - Theory and Applications, Lecture Notes in Computer Science 1912, Springer, 2000
|
|
| -no abstract-
| Download
| Origin
|
|
|
| The Semantics of Programming Languages: A transformational/ operational approach using Abstract State Machines
|
|
| R. Eschbach, R. Gotzhein, A. Prinz
|
|
| International Workshop on Abstract State Machines, Monte Verita, Switzerland, March 2000, TIK-Report Nr. 87, ETH Zurich, pp. 131-151
|
|
| -no abstract-
| Download
| Origin
|
|
|
| An ORDBMS-Based Reuse Repository Supporting the Quality Improvement Paradigm - Exemplified by the SDL-Pattern Approach
|
|
| R. Feldmann, B. Geppert, W. Mahnke, N. Ritter, F. Rößler
|
|
| Proceedings of the TOOLS USA 2000, 34th International Conference & Exhibition, Santa Barbara, USA, July/August 2000
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| The ORDBMS-Based SFB 501 Experience Base - Exemplified by the SDL-Pattern Approach
|
|
| R. Feldmann, B. Geppert, W. Mahnke, N. Ritter, F. Rößler
|
|
| SFB 501 Report 08/1999
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Towards an Experimental Evaluation of SDL-Pattern based Protocol Design
|
|
| R.L. Feldmann, B. Geppert, F. Rößler
|
|
| SFB 501 Report 04/1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| A Repository-Based Improvement Cycle for Reuse-Driven SDL System Development
|
|
| R.L. Feldmann, B. Geppert, F. Rößler
|
|
| SFB 501 Report 11/1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| First Results from an Experimental Evaluation of SDL-Pattern Based Protocol Design
|
|
| R. Feldmann, B. Geppert, F. Rößler
|
|
| SFB 501 Report 03/1999
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Continuous Improvement of Reuse-Driven SDL System Development
|
|
| 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
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| An Integrating Approach fo r Developing Distributed Software Systems - Combining Formal Methods, Software Reuse, and the Experience Base
|
|
| 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
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| SDL-Pattern based Development of a Communication Subsystem for CAN
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Combining SDL Patterns with Continuous Quality Improvement: An Experience Base Tailored to SDL Patterns
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| The SDL Pattern Approach
|
|
| B. Geppert
|
|
| Dissertation, Fachbereich Informatik, Universität Kaiserslautern, 2001
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Configuring Communication Protocols Using SDL Patterns
|
|
| 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, Paris/Evry, France, September 1997
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Automatic Configuration of Communication Subsystems - A Survey
|
|
| B. Geppert, F. Rößler
|
|
| SFB 501 Report 17/1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Pattern-based Configuring of a Customized Resource Reservation Protocol with SDL
|
|
| B. Geppert, F. Rößler
|
|
| SFB 501 Report 19/1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Combining SDL and Pattern-based Design for the Customization of Communication Subsystems
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Generic Engineering of Communication Protocols - Current Experience and Future Issues
|
|
| B. Geppert, F. Rößler
|
|
| Proceedings of the 1st IEEE International Conference on Formal Engineering Methods, ICFEM'97, Hiroshima, Japan, 1997
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Pattern-Based Reuse with SDL
|
|
| B. Geppert, F. Rößler
|
|
| Tutorial Notes, 9th SDL Forum (SDL'99), Montreal, Kanada, 21.-25. Juni 1999
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Systematic Evolution of Reusable SDL Patterns
|
|
| B. Geppert, F. Rößler, R. Feldmann
|
|
| European Reuse Workshop, ERW'98, Madrid, Spain, 1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Pattern Application vs. Inheritance in SDL
|
|
| B. Geppert, F. Rößler, R. Gotzhein
|
|
| 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS '99, Florence, Italy, 1999
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Pattern-based Configuring of the Internet Stream Protocol ST2+ with SDL
|
|
| B. Geppert, F. Rößler, P. Schaible
|
|
| SFB 501 Report 12/1997
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Using SDL Patterns for the Design of a CAN-based Communication Subsystem
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| SDL Formal Semantics Definition
|
|
| U. Glässer, R. Gotzhein, A. Prinz
|
|
| Technischer Bericht tr-rsfb-99-065, Fachbereich Mathematik und Informatik, Universität Paderborn, 1999
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Towards a New Formal SDL Semantics Based on Abstract State Machines
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Improving the Efficiency of Automated Protocol Implementation Using Estelle
|
|
| R. Gotzhein, J. Bredereke, W. Effelsberg, S. Fischer, T. Held, H. König
|
|
| Computer Communications Journal 19(14), 1226-1235 (Dec. 1996)
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Generic Layout of Communication Subsystems - A Case Study
|
|
| R. Gotzhein, B. Geppert , C. Peper, F. Rößler
|
|
| SFB 501 Report 14/1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Towards a New Formal SDL Semantics
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Consolidating and Applying the SDL-Pattern Approach: A Detailed Case Study
|
|
| R. Gotzhein
|
|
| Journal on Information and Software Technology, Elsevier Science, (to appear)
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Towards a Basic Reference Model of Open Distributed Processing
|
|
| R. Gotzhein
|
|
| Computer Networks and ISDN Systems, Special Issue ISO Reference Model for Open Distributed Processing, No. 27, 1995, 1287-1304
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Applying a Temporal Logic to the RPC-Memory Specification Problem
|
|
| R. Gotzhein
|
|
| in: M. Broy, S. Merz und K. Spies (Hrsg.): Formal Systems Specification - The RPC-Memory Specification Case Study, Lecture Notes in Computer Science 1169, 1996, 253-273
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Formale Beschreibungstechniken für verteilte Systeme
|
|
| R. Gotzhein, J. Bredereke (Hrsg.)
|
|
| Proceedings des 5. GI/ITG-Fachgesprächs, Kaiserslautern, 22.-23.6.1995
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Formal Description Techniques IX - Theory, Application and Tools
|
|
| R. Gotzhein, J. Bredereke (Hrsg.)
|
|
| Chapman & Hall, 1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Trends in Formal Description Techniques
|
|
| R. Gotzhein, J. Bredereke (Guest Eds.)
|
|
| Theme Issue of Computer Networks and ISDN Systems, Vol. 30 (1998), Numbers 9-10, May 1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Micro Protocol Design: The SNMP Case Study
|
|
| R. Gotzhein, F. Khendek, P. Schaible
|
|
| Proc. of 3rd SAM (SDL And MSC) Workshop, 2002
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Specifying and Reasoning about Generic Real-Time Requirements - A Case Study
|
|
| R. Gotzhein, M. Kronenburg, C. Peper
|
|
| SFB 501 Report 15/1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern
|
|
| R. Gotzhein, M. Kronenburg, C. Peper
|
|
| SFB 501 Report 08/1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirements Pattern
|
|
| R. Gotzhein, M. Kronenburg, C. Peper
|
|
| 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), Lyngby, Denmark, 1998, LNCS 1486, Springer, pp. 65-74
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Pattern-Based Requirements Capture Applied: The SFB 501 Case Study
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Einsatz von FoReST zur Entwicklung einer verteilten Lichtsteuerung
|
|
| R. Gotzhein, C. Peper
|
|
| 11. ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Bruchsal, 21.-22.6.2001
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Durchgängige Entwicklung großer verteilter Systeme - Die SILICON-Fallstudie
|
|
| R. Gotzhein, C. Peper, P. Schaible, J. Thees
|
|
| ITG/VDE-Fachtagung "Kommunikation in verteilten Systemen" (KiVS'03), Leipzig, 26.-28.02.2003
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Towards Open Estelle
|
|
| R. Gotzhein, F. Rößler, J. Thees
|
|
| in: U. Herzog, H. Hermanns (Hrsg.): Formale Beschreibungstechniken für verteilte Systeme, Proceedings des 6. GI/ITG-Fachgesprächs, Erlangen, 20.-21.6.1996, pp. 89-98
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Pattern-Based Development of Communication Subsystems
|
|
| R. Gotzhein, P. Schaible
|
|
| in: Annals of Telecommunications, Special Issue on Protocol Engineering, Vol. 54, No. 11-12, 1999, pp. 508-525
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Verteilung einer Simulation für das Inverse Pendel
|
|
| T. Groß
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juni 1997
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Re-Engineering und Implementierung eines ATM-Signalisierungsprotokolls mit SDL-Patterns
|
|
| T. Groß
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Sept. 1999
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Vergleich von Estelle und STATEMATE anhand eines Schiebefensterprotokolls
|
|
| N. Gumprecht
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1995
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Entwicklung und Integration von fehlerbehandelnden Mikroprotokollen für ein Gebäudeautomatisierungssystem
|
|
| R. Klensch
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, 2001
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems
|
|
| M. Kronenburg , R. Gotzhein , C. Peper
|
|
| SFB 501 Report 16/1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Application of the FOREST Approach to the Light Control Case Study
|
|
| M. Kronenburg , C. Peper
|
|
| in: Journal of Universal Computer Science, Special Issue on Requirements Engineering 6(7), pp. 679-703, Springer, 2000
|
|
| -no abstract-
| Download
| Origin
|
|
|
| An example of a FOREST Problem Specification
|
|
| M. Kronenburg , C. Peper
|
|
| SFB 501 Report 01/1999
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Definition and Instantiation of a Reference Model for Problem Specifications
|
|
| M. Kronenburg , C. Peper
|
|
| 11th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, Germany, 1999, pp. 332-336
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Identifikation und Spezifikation einzelner Protokollfunktionalitäten des Xpress Transfer Protokolls (XTP)
|
|
| M. Kraemer
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, April 1995
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Variantenbildung in SDL-92
|
|
| A. Kühlmeyer
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1997
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| SDT-basierte Anbindung von SDL-Entwurfsspezifikationen an verschiedene Basistechnologien
|
|
| A. Kühlmeyer
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Spezifikationsvarianten des Alternating-Bit Protokolls in SDL/SDT
|
|
| M. Lang
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1997
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| SDL-Pattern basiertes Reengineering von RTP (Realtime Transport Protocol)
|
|
| S. van Lier
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Aug. 1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Software zum Anfassen
|
|
| C. Peper
|
|
| Uni Spectrum 1/2002, Universität Kaiserslautern, Juli 2002, pp. 25-26
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Transformations in Pattern-based System Specifications
|
|
| 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
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Formal Specification of Real-Time Requirements for Building Automation Systems
|
|
| C. Peper, R. Gotzhein, M. Kronenburg
|
|
| SFB 501 Report 01/1997
|
|
| -no abstract-
| Download
| Origin
|
|
|
| A Generic Approach to the Formal Specification of Requirements
|
|
| C. Peper, R. Gotzhein, M. Kronenburg
|
|
| 1st IEEE International Conference on Formal Engineering Methods 1997 (ICFEM'97), Hiroshima, Japan, pp. 252-261
|
|
| -no abstract-
| Download
| Origin
|
|
|
| A Formal Process Model for the Software Development Method SOMT
|
|
| E. Petersen, J. Münch, B. Geppert
|
|
| (in German), SFB 501 Report 03/1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Erstellung eines Software-Monitors zur Analyse automatisch generierter Protokollimplementierungen
|
|
| H. Penner
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| An Executable Formal Semantics for SDL-2000
|
|
| A. Prinz, R. Eschbach, R. Gotzhein
|
|
| Proc. of SAM 2000, 2nd Workshop of the SDL Forum Society on SDL and MSC, June 2000
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| The Light Control Case Study: Problem Description
|
|
| S. Queins, G. Zimmermann, M. Becker, M. Kronenburg, C. Peper, R. Merz, J. Schäfer
|
|
| in: Journal of Universal Computer Science (J.UCS), Special Issue on Requirements Engineering 6(7), pp. 586-596, Springer, 2000
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Maßschneiderung von Kommunikationssystemen anhand einer Regelungsaufgabe
|
|
| B. Reuther
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Jan. 1996
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Applying Quality of Service Architectures to the Field-Bus Domain
|
|
| F. Rößler, B. Geppert
|
|
| Proceedings of the 2nd IEEE International Workshop on Factory Communication Systems, WFCS'97, Barcelona, Spain, 1997
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Collaboration-based Design of SDL Systems
|
|
| F. Rößler, B. Geppert, R. Gotzhein
|
|
| Proceedings of the 10th SDL FORUM, June 2001
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| A Clock-independent Model for Real-Time
|
|
| F. Rößler, B. GeppertR. Gotzhein
|
|
| SFB 501 Report 18/1996
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns
|
|
| F. Rößler, B. Geppert, P. Schaible
|
|
| Proceedings of the 5th IEEE International Conference on Software Reuse, ICSR5, Victoria, British Columbia, Canada, 1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Implementing Real-Time Communication on a Token-Ring Network
|
|
| F. Rößler, A. Kühlmeyer
|
|
| 6th Open Workshop on High Speed Networks, HSN'97, Stuttgart, Germany, 1997
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Einbettung automatisch generierter Protokollimplementierungen in eine reale Netzumgebung
|
|
| P. Schaible
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Nov. 1995
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Pattern-basierte Konfigurierung des Reservierungsprotokolls ST2+ und Erstellung eines SDL-Frameworks für Ressourcenreservierungsprotokolle
|
|
| P. Schaible
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Sept. 1997
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| View-Based Animation of Communication Protocols in Design and in Operation
|
|
| P. Schaible, R. Gotzhein
|
|
| Computer Networks, Elsevier Science, 2002 (to appear)
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Maßschneiderung vs. Wiederverwendung bei Kommunikationssystemen (Fallstudie SILICON)
|
|
| P. Schaible, J. Thees
|
|
| 11. ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme", Bruchsal, 21.-22.6.2001
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Maßnahmen zur Optimierung von Kommunikationsprotokollen
|
|
| G. Schmidt
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juni 1996
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Entwurf und Implementierung eines echtzeitfähigen Kommunikationssubsystems für CAN
|
|
| M. Schneider
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, Feb 1998
|
|
| -no abstract-
| Download
| Origin
|
|
|
| Spezifikation und (halb-)automatische Implementierung einer Audioanwendung über Ethernet
|
|
| A. Schulz
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Juni 1996
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Musterbasierte Konfigurierung des Internet-Protokolls IPv6 mit SDL
|
|
| M. Schwaiger
|
|
| Projektarbeit, Fachbereich Informatik, Universität Kaiserslautern, Dez. 1997
|
|
| -no abstract-
| -no download-
| Origin
|
|
|
| Werkzeugunterstützte Anwendung von SDL Patterns
|
|
| M. Schwaiger
|
|
| Diplomarbeit, Fachbereich Informatik, Universität Kaiserslautern, März 1999
|
|
| -no abstract-
| Download
| Origin
|
|
|