SFB 501:  Entwicklung großer Systeme mit generischen Methoden

• Fachliche Zuordnung: Informatik, System- und Elektrotechnik
• Förderung: Förderung von 1995 bis 2003
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5480830

Der Sonderforschungsbereich hat sich die Aufgabe gestellt, Verfahren zur Entwicklung großer Softwaresysteme auf der Basis generischer Methoden zu entwickeln. Unter dem Begriff "generische Methoden" werden Beschreibungstechniken und darauf abgestimmte Generierungsverfahren verstanden, durch die eine Wiederverwendung existierender Software und Softwareentwicklungsprozesse besonders unterstützt wird. In wohlverstandenen Teilbereichen soll die methodische Unterstützung bis zur vollautomatischen Softwaregenerierung getrieben werden. Die Ergebnisse des Sonderforschungsbereichs sollen dazu beitragen, große Softwaresysteme mit vorgegebener Qualität und abschätzbarem Personal- und Zeitaufwand zu fertigen.

• DFG-Verfahren: Sonderforschungsbereiche

Abgeschlossene Projekte

• A1 - SE-Labor (Teilprojektleiter Rombach, H. Dieter )
• A2 - Entwicklung einer flexiblen Modellierungs- und Ausführungsumgebung für Software-Entwicklungsprozesse (Teilprojektleiter Richter, Michael ;  Rombach, H. Dieter )
• A3 - Unterstützung des Softwareentwicklungsprozesses durch objekt-relationale Datenbank-Technologie (Teilprojektleiter Härder, Theo ;  Ritter, Norbert )
• B1 - Generische Modellierung von Prozessen und Experimenten (Teilprojektleiter Rombach, H. Dieter )
• B2 - Flexible Planung und Steuerung von Softwareentwicklungsprozessen (Teilprojektleiter Richter, Michael )
• B4 - Generische Kommunikationssysteme (Teilprojektleiter Gotzhein, Reinhard )
• B5 - GeneSys - Generische System-Software (Teilprojektleiter Nehmer, Jürgen )
• B10 - Anwendungsentwicklung mit vorkonfektionierten Systemen (Teilprojektleiter Nehmer, Jürgen )
• B12 - Stratified Component Frameworks (Teilprojektleiter Atkinson, Colin ;  Kühne, Thomas )
• C1 - Formale Beschreibungstechniken (Teilprojektleiter Avenhaus, Jürgen ;  Madlener, Klaus )
• D1 - Anwendungssystem Gebäude (Teilprojektleiter Zimmermann, Gerhard )
• D2 - Modellbasierte Entwicklung wiederverwendbarer Regelungsalgorithmen (Teilprojektleiter Litz, Lothar )
• Z - Anträge von allgemeinem Interesse (Teilprojektleiter Nehmer, Jürgen )

• Antragstellende Institution: Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
• Sprecher: Professor Dr. Jürgen Nehmer