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
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H. (1997). DFG-Schwerpunktprogramm “Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen”. In: Jarke, M., Pasedach, K., Pohl, K. (eds) Informatik ’97 Informatik als Innovationsmotor. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-60831-5_24
Download citation
DOI: https://doi.org/10.1007/978-3-642-60831-5_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63066-1
Online ISBN: 978-3-642-60831-5
eBook Packages: Springer Book Archive