SFB 501
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 | |
|
Wed May 19 17:11:55 CEST 2004
SFB 501 - Development of Large Systems with Generic Methods