Projektarbeiten |
| [1] |
Schwaiger, M.: Musterbasierte Konfigurierung des Internet-Protokolls IPv6
mit SDL, Dezember 1997
|
| [2] |
van Lier, S.: SDL-Pattern basiertes Reengineering von RTP (Realtime
Transport Protocol), August 1998
|
Diplomarbeiten |
| [3] |
Cisowski, D.: Ein Editor zur Dokumentation von SDL Patterns, März 1999
|
| [4] |
Groß, T.: Re-Engineering und Implementierung eines
ATM-Signalisierungsprotokolls mit SDL-Patterns, September 1999
|
| [5] |
Kühlmeyer, A.: SDT-basierte Anbindung von SDL-Entwurfsspezifikationen an
verschiedene Basistechnologien, März 1999
|
| [6] |
Schaible, P.: Pattern-basierte Konfigurierung des Reservierungsprotokolls
ST2+ und Erstellung eines SDL-Frameworks für
Ressourcenreservierungsprotokolle, September 1997
|
| [7] |
Schneider, M.: Entwurf und Implementierung eines echtzeitfähigen
Kommunikationssubsystems für CAN, Februar 1998
|
| [8] |
Schwaiger, M.: Werkzeugunterstützte Anwendung von SDL Patterns, März
1999
|
SFB-Berichte |
| [9] |
Feldmann, R., Geppert, B., Mahnke, W., Ritter, N., Rößler, F.: The ORDBMS-
Based SFB 501 Experience Base - Exemplified by the SDL-Pattern Approach,
SFB 501 Report 08/99, Fachbereich Informatik, Universität Kaiserslautern,
1999
|
| [10] |
Feldmann, R., Geppert, B., Rößler, F.: Towards an Experimental Evaluation of
SDL-Pattern based Protocol Design, SFB 501 Report 04/98, Fachbereich
Informatik, Universität Kaiserslautern, 1998
|
| [11] |
Feldmann, R., Geppert, B., Rößler, F.: A Repository-Based Improvement Cycle
for Reuse-Driven SDL System Development, SFB 501 Report 11/98,
Fachbereich Informatik, Universität Kaiserslautern, 1998
|
| [12] |
Feldmann, R., Geppert, B., Rößler, F.: First Results from an Experimental
Evaluation of SDL-Pattern Based Protocol Design, SFB 501 Report 03/99,
Fachbereich Informatik, Universität Kaiserslautern, 1999
|
| [13] |
Geppert, B., Rößler, F., Schaible, P.: Pattern-based Configuring of the Internet
Stream Protocol ST2+ with SDL, SFB 501 Report 12/97, Fachbereich
Informatik, Universität Kaiserslautern, 1997
|
| [14] |
Glässer, U., Gotzhein, R., Prinz, A.: SDL Formal Semantics Definition,
Technischer Bericht tr-rsfb-99-065, Fachbereich Mathematik und Informatik,
Universität Paderborn, 1999
|
| [15] |
Gotzhein, R., Kronenburg, M., Peper, C.: Reuse in Requirements Engineering:
Discovery and Application of a Real-Time Requirement Pattern, SFB 501
Report 8/98, Fachbereich Informatik, Universität Kaiserslautern, 1998
|
| [16] |
Kronenburg, M., Peper, C.: An Example of a FoReST Problem Specification,
SFB 501 Report 01/1999, Fachbereich Informatik, Universität Kaiserslautern,
1999
|
| [17] |
Petersen, E., Münch, J., Geppert, B.: Ein formales Prozeßmodell für die
Software-Entwicklungsmethode SOMT, SFB 501 Report 03/98, Fachbereich
Informatik, Universität Kaiserslautern, 1998
|
Online-Dokumente |
| [18] |
Kronenburg, M., Peper, C.: Specification of the Case Study "Light Control
System", Dagstuhl-Seminar Requirements Capture, Documentation, and Validation,
13.-18. Juni 99,
http://vs.informatik.uni-kl.de/activities/forest/examples/
|
Vorträge |
| [19] |
Geppert, B.: SDL Patterns - Ein Ansatz zur generischen Protokollentwicklung,
Forschungsseminar, Humboldt Universität Berlin, 17.2.1998
|
| [20] |
Geppert, B.: Der SDL-Pattern-Ansatz, Workshop Software-Reuse des SFB
501, Kaiserslautern, 22.-23. Februar 1999
|
| [21] |
Gotzhein, R.: Formale Spezifikation von Echtzeitanforderungen,
GI-Fachgespräch über Quality of Service, Mannheim, 12.-13.3.1998
|
| [22] |
Gotzhein, R., Geppert, B., Rößler, F.: Musterbasierte Entwicklung von
Kommunikationsprotokollen mit SDL, RIO6-Kolloquium, Daimler-Benz
Aerospace AG, Bremen, 16.6.1998
|
| [23] |
Gotzhein, R.: Engineering-like Development of Customized Communication
Software, Kolloquium, Universität Zürich, 25.6.1998
|
| [24] |
Gotzhein, R.: Musterbasierte Systementwicklung, Daimler-Benz Research,
Berlin, 2.7.98
|
| [25] |
Gotzhein, R.: Pattern-based System Development, Kolloquium, Ecole
Polytechnique Federale, Lausanne, 9.7.98
|
| [26] |
Gotzhein, R.: Wiederverwendung von Lösungskomponenten und
Entwicklungs-Know-how, Deutsche Telekom, Saarbrücken, 16.12.1998
|
| [27] |
Gotzhein, R.: Musterbasierte Entwicklung von Kommunikationsmiddleware,
Kolloquium, Fachbereich Informatik, Universität Braunschweig, 12. Juli 1999
|
| [28] |
Peper, C.: Wiederverwendung bei der Anforderungsspezifikation: Der FoReST-
Ansatz, Workshop "Software-Reuse" des SFB 501, Kaiserslautern, 22.-23.
Februar 1999
|
Tagungsbeiträge |
| [29] |
Cisowski, D. , Geppert, B., Rößler, F., Schwaiger, M.: Tool Support for SDL
Patterns, Proceedings of the 1st Workshop of the SDL Forum Society on SDL
and MSC (SAM98), Berlin, Juni 1998
|
| [30] |
Feldmann, R., Geppert, B., Mahnke, W., Ritter, N., Rößler, F.: An ORDBMS-
Based Reuse Repository Supporting the Quality Improvement Paradigm -
Exemplified by the SDL-Pattern Approach, in: Proceedings of the TOOLS
USA 2000, 34th International Conference & Exhibition, Santa Barbara, USA,
July/August 2000
|
| [31] |
Feldmann, R.L, Geppert, B., Rößler, F.: Continuous Improvement of Reuse-
Driven SDL System Development, Proceedings of the 11th International
Conference on Software Engineering and Knowledge Engineering (SEKE'99),
Kaiserslautern, Juni 1999
|
| [32] |
Feldmann, R.L, Geppert, B., Rößler, F.: An Integrating Approach for
Developing Distributed Software Systems - Combining Formal Methods,
Software Reuse, and the Experience Base, Proceedings of the 5th International
Conference on Engineering of Complex Computer Systems (ICECCS'99),
Las Vegas, USA, Oktober 1999
|
| [33] |
Geppert, B., Gotzhein, R., Rößler, F.: Configuring Communication Protocols
Using SDL Patterns, in: A. Cavalli, A. Sarma (Eds.), SDL'97 - Time for
Testing, Elsevier Science Publishers, Proceedings of the 8th SDL-Forum,
Evry, France, September 1997
|
| [34] |
Geppert, B., Kühlmeyer, A., Rößler, F., Schneider, M.: SDL-Pattern based
Development of a Communication Subsystem for CAN, Proceedings of the
IFIP Joint International Conference on Formal Description Techniques &
Protocol Specification, Testing, and Verification (FORTE/PSTV'98), Paris,
Frankreich, Kluwer Academic Publishers, November 1998
|
| [35] |
Geppert, B., Rößler, F.: Combining SDL and Pattern-Based Design for the
Customization of Communication Subsystems, in: A. Wolisz, I.
Schieferdecker, A. Rennoch (Hrsg.), Formale Beschreibungstechniken für verteilte
Systeme, GMD-Studien Nr. 315, GI/ITG-Fachgespräch, Berlin, 19. -20. Juni
1997
|
| [36] |
Geppert, B., Rößler, F.: Generic Engineering of Communication Protocols -
Current Experience and Future Issues. Proceedings of the 1st IEEE
International Conference on Formal Engineering Methods (ICFEM'97), Hiroshima,
Japan, November 1997
|
| [37] |
Geppert, B., Rößler: Pattern-Based Reuse with SDL, Tutorial Notes, 9th SDL
Forum (SDL'99), Montreal, Kanada, 21.-25. Juni 1999
|
| [38] |
Geppert, B., Rößler, F., Feldmann, R.L.: Systematic Evolution of Reusable
SDL Patterns, Proceedings of the 2nd European Reuse Workshop (ERW'98),
Madrid, Spanien, 1998
|
| [39] |
Geppert, B., Rößler, F., Feldmann, R.L., Vorwieger, S.: Combining SDL
Patterns with Continuous Quality Improvement: An Experience Factory Tailored
to SDL Patterns, Proceedings of the 1st Workshop of the SDL Forum Society
on SDL and MSC (SAM98), Berlin, Juni 1998
|
| [40] |
Geppert, B., Rößler, F., Gotzhein, R.: Pattern Application vs. Inheritance in
SDL, 3rd IFIP International Conference on Formal Methods for Open Object-
Based Distributed Systems (FMOODS'99), Florenz, Italien, Kluwer Acade-
mic Publishers, Februar 1999
|
| [41] |
Geppert, B., Rößler, F., Schneider, M.: Using SDL Patterns for the Design of a
CAN-based Communication Subsystem, Proceedings of the 8th GI/ITG-
Fachgespräch Formale Beschreibungstechniken für verteilte Systeme (FBT'98),
Cottbus, 1998
|
| [42] |
Glässer, U., Gotzhein, R., Prinz, A.: Towards a New Formal SDL Semantics
Based on Abstract State Machines, 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
|
| [43] |
Gotzhein, R., Geppert, B., Rößler, F., Schaible, P.: Towards a New Formal
SDL Semantics, Workshop of the SDL Forum Society on SDL and MSC
(SAM98), Berlin, 29.6.-1.7.98
|
| [44] |
Gotzhein, R., Kronenburg, M., Peper, C.: Reuse in Requirements Engineering:
Discovery and Application of a Real-Time Requirement Pattern, 5th
International Symposium on Formal Techniques in Real-Time and Fault-Tolerant
Systems (FTRTFT'98), Lecture Notes in Computer Science 1486, Springer,
Lyngby, Denmark, September 14-15, 1998. pp. 65-74
|
| [45] |
Gotzhein, R., Kronenburg, M., Peper, C.: Pattern-Based Requirements
Capture Applied: The SFB 501 Case Study, in: E. Börger, B. Hörger, D. Parnas, D.
Rombach (Hrsg.), Requirements Capture, Documentation, and Validation,
Dagstuhl-Seminar-Report 242, Juni 1999
|
| [46] |
Kronenburg, M., Peper, C.: Definition and Instantiation of a Reference Model
for Problem Specifications, 11th International Conference on Software
Engineering and Knowledge Engineering (SEKE'99), Kaiserslautern, 1999
|
| [47] |
Peper, C.: Transformations in Pattern-Based System Specifications, 9. GI/ITG-
Fachgespräch Formale Beschreibungstechniken für verteilte Systems
(FBT'99), München, Herbert-Utz-Verlag, 1999
|
| [48] |
Peper, C., Gotzhein, R., Kronenburg, M.: A Generic Approach to the Formal
Specification of Requirements. Proceedings of the 1st IEEE International
Conference on Formal Engineering Methods (ICFEM'97), Hiroshima, Japan,
November 1997, pp. 252-261
|
| [49] |
Rößler, F., Geppert, B.: Applying Quality of Service Architectures to the
Field-Bus Domain, Proceedings of the 2nd IEEE International Workshop on Factory
Communication Systems (WFCS'97), Barcelona, Spain, 1997
|
| [50] |
Rößler, F., Geppert, B., P. Schaible, P.: Re-Engineering of the Internet Stream
Protocol ST2+ with Formalized Design Patterns, Proceedings of the 5th
International Conference on Software Reuse (ICSR5), Victoria, British Columbia,
Canada, 1998
|
| [51] |
Rößler, F., Kühlmeyer, A.: Implementing Real-Time Communication on a
Token-Ring Network. Proceedings of the 6th Open Workshop on High Speed
Networks (HSN'97), Stuttgart, October, 1997
|
| [52] |
Schaible, P., Gotzhein, R.: Einige Aspekte der Entwicklung maßgeschneiderter
Kommunikationsmiddleware, GI/ITG-Fachgespräch "Formale
Beschreibungstechniken für verteilte Systeme (FBT'2000)", 22.-23.6.2000, Lübeck
|
Zeitschriften / Monografien |
| [53] |
Avenhaus, J., Gotzhein, R., Härder, T., Litz, L., Madlener, K., Nehmer, J.,
Richter, M., Ritter, N., Rombach, D., Schürmann, B., Zimmermann, G.:
Entwicklung großer Systeme mit generischen Methoden - Eine Übersicht über den
Sonderforchungsbereich 501, Informatik, Forschung und Entwicklung,
13(4):227-234, Dezember 1998
|
| [54] |
Börger, E., Gotzhein, R. (Guest Editors): Requirements Engineering: The
Light Control Case Study, Special Issue of the Journal of Universal Computer
Science, Springer, to appear 2000
|
| [55] |
Gotzhein, R., Bredereke, J. (Guest Editors): Trends in Formal Description
Techniques, Theme Issue of Computer Networks and ISDN Systems, Vol. 30
(1998), Numbers 9-10, May 1998
|
| [56] |
Gotzhein, R., Schaible, P.: Pattern-Based Development of Communication
Subsystems, in: Annals of Telecommunications, Special Issue on Protocol
Engineering, Vol. 54, No. 11-12, 1999, pp. 508-525
|
| [57] |
Kronenburg, M., Peper, C.: Application of the FoReST Approach to the Light
Control Case Study, Journal of Universal Computer Science (J.UCS), Special
Issue on "Requirements Engineering: The Light Control Case Study",
Springer, 2000 (accepted for publication)
|
Industriemessen und Demonstrationen |
| [58] |
Gotzhein, R., Geppert, B., Peper, C., Rößler, F., Schaible, P.: Ingenieurmäßige
Entwicklung maßgeschneiderter Kommunikationssoftware, CeBIT 98,
Hannover, 19.-25.3.1998
|
| [59] |
Gotzhein, R., Geppert, B., Peper, C., Rößler, F., Schaible, P.:
Maßschneiderung echtzeitfähiger Kommunikationssoftware, CeBIT 98, Hannover, 19-
25.3.1998
|
| [60] |
Gotzhein, R., Geppert, B., Rößler, F.: Advanced Software Reuse through
Formal Methods, Technologietransferkongress "IKT-Anwendungen auf Netzen"
im Rahmen des III. Mannheimer Unternehmerforums, 6./7. Oktober 1997
|
| [61] |
Feldmann, R. L., Vorwieger, S., Geppert, B., Rößler, F.: An Experience Base
Tailored to SDL Patterns (Tool Demonstration), 1st Workshop of the SDL
Forum Society on SDL and MSC (SAM98), Berlin, 29.6.- 1.7.1998
|
Programmkomitees mit besonderem SFB-Bezug |
| [62] |
Gotzhein, R.: Steering Committee Member des Internationalen Workshops
"SDL and MSC (SAM98)" in Berlin, 29.6.-1.7.98; Organisation und Leitung
der Sitzungen "Patterns and SDL"
|
