Integration von Techniken der Softwarespezifkation für ingenieurwissenschaftliche Anwendungen |
| |
| Authors: | Hartmut Ehrig und Martin Gro?e-Rhode |
| |
| Institution: | (1) TU Berlin, FB Informatik, Sekr. FR 6–1, Franklinstr. 28/29, D-10587 Berlin (e-mail: {ehrig,mgr}@cs.tu-berlin.de) , DE |
| |
| Abstract: | Zusammenfassung. Der Softwareanteil in technischen Systemen bekommt einen immer h?heren Stellenwert. Für einen durchg?ngigen und wartbaren
Entwurf der Software sind Spezifikationstechniken erforderlich, die von ingenieurwissenschaftlichen Ablaufbeschreibungen bis
zu (objektorientierten) Softwaremodellen reichen. Wesentlich ist dabei, solche Techniken zu integrieren, um zu einem durchg?ngigen
Systemmodell zu gelangen. Dies ist Gegenstand des DFG-Schwerpunktprogramms „Integration von Techniken der Softwarespezifikation
für ingenieurwissenschaftliche An- wendungen”, in dem Ingenieure und Informatiker in vierzehn Forschungsprojekten gemeinsam
an der Entwicklung integrierter Methoden zur Softwarespezifkation vornehmlich in den Bereichen Produktionsautomatisierung
und Verkehrsleittechnik arbeiten. In diesem Artikel geben wir einen überblick über die Ergebnisse der ersten zwei Jahre des
Schwerpunktprogramms und dessen Ziele für den weiteren Verlauf von vier Jahren.
|
| |
| Keywords: | Schlüsselw?rter: DFG-Schwerpunktprogramm – Softwarespezifikation – Integration von Spezifikationstechniken – Produktionsautomatisierung – Verkehrsleittechnik |
| 本文献已被 SpringerLink 等数据库收录！ |
|
