DFG-Schwerpunktprogramm “Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen”

Zusammenfassung

Ziel dieses Schwerpunktprogramms ist die theoretisch fundierte Integration unterschiedlicher Spezifikationstechniken und systematischer Vorgehensweisen für die Entwicklung von sicheren Softwaresystemen in komplexen ingenieurwissenschaftlichen Anwendungen, insbesondere in den Bereichen Produktionsautomatisierung und Verkehrsleittechnik. Dabei wird sowohl von den in der Forschung entwickelten, mathematisch fundierten als auch von den in der Praxis der Softwareproduktion verwendeten, pragmatischen Spezifikationstechniken ausgegangen. Die Ergebnisse dieser Arbeiten sollen schließlich zu einer theoretisch fundierten Integration mathematischer und pragmatischer, insbesondere werkzeugunterstützter Techniken der Softwarespezifikation und zu einem Referenzkonzept für die Spezifikation von softwareintensiven technischen Systemen führen. Das Schwerpunktprogramm unterteilt sich in vier Themenbereiche:

• 1. Integration von Techniken der Softwarespezifikation

• 2. Integration von Techniken und Vorgehensweisen in Ingenieurwissenschaften und Informatik

• 3. Metamodelle der Integration

• 4. Fallstudien in Produktionsautomatisierung und Verkehrsleittechnik

genehmigt: 4/97, Laufzeit: 4/98 – 4/04; http://tfs.cs.tu-berlin/SPP