Integration of software specification techniques for applications in engineering: Introduction and overview of results

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3147, Issue , 2004, Pages 1-8

  Ehrig, Hartmut ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

INTERNATIONAL WORKSHOPS; SOFTWARE SPECIFICATION;

APPLICATION PROGRAMS;

EID: 18944402105     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27863-4_1     Document Type: Review

References (19)

1. Ehrig, H., Geisler, R., Klar, M.: DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 13 (1998) 43-46
2. Ehrig, H., Große-Rhode, M.: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 16 (2001) 110-117
3. Harel, D., Marelly, R.: Come, Let's Play: Scenario-Based LSCs and the Play-Engine. Springer (2003)
4. Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design 19 (2001) 45-80
5. Brill, M., Damm, W., Klose, J., Westphal, B., Wittke, H.: Live Sequence Charts. (In this volume)
6. Bjørner, D., George, C., Haxthausen, A., Madsen, C., Holmslykke, S., Pěnička, M.: "UML-ising" Formal Techniques. (In this volume)
7. Ortmeier, F., Thums, A., Schellhorn, G., Reif, W.: Combining Formal Methods and Safety Analysis - The For MosSA Approach. (In this volume)
8. Ortmeier, F., Reif, W., et al: Safety Analysis on the Height Control System for the Elbtunnel. Reliability Engineering and System Safety 81 (2003) 259-268
9. Desel, J.: Process Description Languages and Methods: Introduction to Subject Area Petri Nets and Related Approaches in Engineering. (In this volume)
10. Flake, S., Müller, W., Ruf, J., Pape, U.: Specification and Formal Verification of Temporal Properties of Production Automation Systems. (In this volume)
11. Desel, J., Hanisch, H., Juhás, G., Lorenz, R., Neumair, C.: Guide to Modelling and Control with modules of Signal Nets. (In this volume)
12. Große-Rhode, M.: On Model Integration and Integration Modelling. (In this volume)
13. Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer (2004)
14. Braatz, B., Klein, M., Schröter, G.: Semantical Integration of Object-Oriented Viewpoint Specification Techniques. (In this volume)
15. Orejas, F., Pino, E.: On the Integration of Heterogeneous Specifications. (In this volume)
16. Westkämper, E., Bengel, M., Fischer, K.: Basic Principles for Software Specification. (In this volume)
17. Westkämper, E., Braatz, A.: Eine Methode zur objektorientierten Software-Spezifikation von dezentralen Automatisierungssystemen mit der Unified Modeling Language (UML). at - Automatisierungstechnik 5 (2001) 225-233
18. Schnieder, E.: Specification Methodology, Case Studies and Experiments - An Introduction to the Subject Area of Traffic Control Systems. (In this volume)
19. Tarnai, G., Schnieder, E., eds.: Formal Methods for Railway Operation and Control Systems (Forms 2003), L'Harmattan Budapest (2003)