Graphical development of consistent system specifications

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

Volumn 1051, Issue , 1996, Pages 248-267

  Schätz, Bernhard ^a   Hußmann, Heinrich ^b   Broy, Manfred ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION;

FORMAL DEFINITION; GRAPHICAL DESCRIPTION; GRAPHICAL DEVELOPMENT; INDUSTRIAL DEVELOPMENT; INFORMATION CONTENTS; SOFTWARE DEVELOPMENT PROCESS; SPECIFICATION DEVELOPMENT; SYSTEM SPECIFICATION;

SOFTWARE DESIGN;

EID: 21344460396     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_91     Document Type: Conference Paper

References (12)

1. Broy, M., Dendorfer, C., Dederichs, F., Fuchs, M., Gritzner, T., Weber, R.: The Design of Distributed Systems - An Introduction to FOCUS. TUM-I9225, Technische Universität Miinchen, 1992.
2. Bowen, J., Stavridou, V.: The industrial take-up of formal methods in safetycritical and other areas: A perspective. In: F. C. P. Woodcock, P. G. Larsen (eds), FME' 93, Lecture Notes in Computer Science Vol. 670, Springer 1993, pp. 183-195.
3. Braner, W.: Automatentheorie. Teubner, 1984.
4. Facchi, C.: Methodik zur formalen Spezifikation des IOS/OSI Schichtenmodells. PhD-Thesis. Technische Universität Mtinchen, 1995.
5. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming 8 (1987) 231-274.
6. Hoare, C.A.R.: Mathematical models for Computer Science. Working Material for Marktoberdorf Summer School 1994. Institut for Informatik, Technische Universität M0nchen, 1994.
7. Hussmann, H.: Formal Foundations for SSADM. Habilitation Thesis, Technische Universität Mtinchen, 1994.
8. Hussmann, H.: Indirect Use of Formal Methods in Software Engineering. In: M. Wirsing fed): ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle (WA), USA. Proceedings, April 1995, pp. 126-133.
9. International Telecommunication Union: Message Sequence Charts. ITU-T Recommendation Z.120. Geneva, 1994.
10. Lloyd, J.W.: Foundations of Logic Prograamming. Springer, 1984.
11. Milner, R. CCS - A Calculus for Communicating Systems. Springer Lecture Notes in Computer Science 83, 1983.
12. Semmens, L.T., France, R.B., Docker, T.W.G.: Integrated structured analysis and formal specification techniques. The Computer Journal 35 (1992) 600- 610.