Abstract
This contribution is a short introduction into the research area, which was subject of the priority program SoftSpez of the German Research Council (DFG) in the years 1998-2004. Starting with the aims of this priority program, we give an overview of the activities of SoftSpez and the related international workshops INT 2000-2004 and of the results in six different subject areas presented in this volume.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ehrig, H., Geisler, R., Klar, M.: DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 13, 43–46 (1998)
Ehrig, H., Große-Rhode, M.: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 16, 110–117 (2001)
Harel, D., Marelly, R.: Come, Let’s Play: Scenario-Based LSCs and the Play-Engine. Springer, Heidelberg (2003)
Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19, 45–80 (2001)
Brill, M., Damm, W., Klose, J., Westphal, B., Wittke, H.: Live Sequence Charts. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 374–399. Springer, Heidelberg (2004)
Bjørner, D., George, C., Haxthausen, A., Madsen, C., Holmslykke, S., Pěnička, M.: “UML–ising” Formal Techniques. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 423–450. Springer, Heidelberg (2004)
Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining Formal Methods and Safety Analysis - The For MosSA Approach. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 474–493. Springer, Heidelberg (2004)
Ortmeier, F., Reif, W., et al.: Safety Analysis on the Height Control System for the Elbtunnel. Reliability Engineering and System Safety 81, 259–268 (2003)
Desel, J.: Process Description Languages and Methods: Introduction to Subject Area Petri Nets and Related Approaches in Engineering. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 199–205. Springer, Heidelberg (2004)
Flake, S., Müller, W., Ruf, J., Pape, U.: Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 206–226. Springer, Heidelberg (2004)
Desel, J., Hanisch, H., Juhás, G., Lorenz, R., Neumair, C.: Guide to Modelling and Control with modules of Signal Nets. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 270–300. Springer, Heidelberg (2004)
Große-Rhode, M.: On Model Integration and Integration Modelling. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 567–581. Springer, Heidelberg (2004)
Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)
Braatz, B., Klein, M., Schröter, G.: Semantical Integration of Object-Oriented Viewpoint Specification Techniques. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 602–626. Springer, Heidelberg (2004)
Orejas, F., Pino, E.: On the Integration of Heterogeneous Specifications. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 582–601. Springer, Heidelberg (2004)
Westkämper, E., Bengel, M., Fischer, K.: Basic Principles for Software Specification. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 9–22. Springer, Heidelberg (2004)
Westkämper, E., Braatz, A.: Eine Methode zur objektorientierten Software-Spezifikation von dezentralen Automatisierungssystemen mit der Unified Modeling Language (UML). At – Automatisierungstechnik 5, 225–233 (2001)
Schnieder, E.: Specification Methodology, Case Studies and Experiments - An Introduction to the Subject Area of Traffic Control Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 89–95. Springer, Heidelberg (2004)
Tarnai, G., Schnieder, E. (eds.): Formal Methods for Railway Operation and Control Systems (Forms 2003), L’Harmattan Budapest (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ehrig, H. (2004). Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive