Enriching the software development process by formal methods

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

Volumn 1641, Issue , 1999, Pages 44-61

  Broy, Manfred ^a   Slotosch, Oscar ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION; INDUSTRIAL PLANTS; SEMANTICS; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

CRITICAL COMPONENT; DEVELOPMENT STAGES; FORMAL SEMANTICS; PROCESS MODELING; SOFTWARE DEVELOPMENT PROCESS; SOFTWARE PROCESS MODELS; USER ORIENTED; V-MODEL;

FORMAL METHODS;

EID: 84957667419     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48257-1_2     Document Type: Conference Paper

References (24)

1. +92] Bettina Buth, Karl-Heinz Buth, Martin Fräzle, Burghard von Karger, Yas- sine Lakhneche, Hans Langmaack, and Markus Müller-Olm. Provably Correct Compiler Development and Implementation. In Uwe Kastens and Peter Pfahler, editors, Compiler Construction, 4th International Conference on Compiler Construction, volume 641 of Lecture Notes in Computer Science, pages 141-155, Paderbom, Germany, 5-7 October 1992. Springer.
2. [BCMR97] Manfred Broy, Derek Coleman, Tom S. E. Maibaum, and Bernhard Rumpe, editors. Proceedings PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitaet Muenchen, TUM-I9803, April 1997.
3. [BD95] Adolf-Peter Bröhl and Wolfgang Dröschel. Das V-Modell. Oldenbourg, 1995.
4. +93] M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. F. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus-Revised Version. Technical Report TUM-I9202-2, Technische Universität München, 1993.
5. +98] Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, and Wolfgang Schwerin. Systems, Views and Models of UML. In Martin Schader and Axel Korthaus, editors, The Unified Modeling Language, Technical Aspects and Applications, pages 93-109. Physica Verlag, Heidelberg, 1998.
6. [BHKS97] Manfred Broy, Christoph Hofmann, Ingolf Krüger, and Monika Schmidt. Using extended event traces to describe communication in software architectures. In Asia-Pacific Software Engineering Conference and International Computer Science Conference, Hong Kong. IEEE Computer Society, 1997.
7. [BJ95] Manfred Broy and Stefan Jähnichen, editors. KORSO: Methods, Languages and Tools for the Construction of Correct Software, volume 1009 of Lecture Notes in Computer Science, New York, N.Y., 1995. Springer-Verlag.
8. [Bro95] Manfred Broy. Mathematical Models as a Basis of Software Engineering. In J. van Leeuwen, editor, Computer Science Today, volume 1000 of Lecture Notes in Computer Science, pages 292-306. Springer-Verlag, 1995.
9. [Bro96] Manfred Broy. Formed Description Techniques - How Formal and Descriptive are they. In R. Gotzhein and J. Bredereke, editors, FORTE IX, 95-112. Chapman & Hall, 1996.
10. [Bro98] Manfred Broy. On the Meaning of Message Sequence Charts. In Lahav, Wolisz, Fischer, and Holz, editors, 1st Workshop on SDL and MSC (SAM98), pages 13-32, 1998.
11. [GSB98] R. Grosu, G. Stefanescu, and M. Broy. Visual Formalisms Revisited. In L. Lavagno and W. Reisig, editors, CSD '98, International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu City, Fukushima. IEEE Computer Society Press, 1998.
12. [Har87] D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8:231 - 274, 1987.
13. [Hau97] Markus Haubner. Transformation von MSCs in temporallogische Formeln, 1997. Diplomarbeit.
14. [Hin98] Ursula Hinkel. Formale, semantische Fundierung und eine darauf abgestützte Verifikationsmethode für SDL. PhD thesis, Technische Universität München, 1998.
15. +98] Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, and Oscar Slotosch. Tool supported Specification and Simulation of Distributed Systems. In Bernd Krämer, Naoshi Uchihira, Peter Croll, and Stefano Russo, editors, Proceedings International Symposium on Software Engineering for Parallel and Distributed Systems, pp. 155-164, ISBN 0-8186-8467-4, pages 155-164. IEEE Computer Society, Los Alamitos, California, 1998.
16. [Hoa96] C. A. R. Hoare. The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? In 18th International Conference on Software Engineering, pages 233-235, Berlin - Heidelberg - New York, March 1996. Springer.
17. [HS97] Franz Huber and Bernhard Schätz. Rapid Prototyping with AutoFocus. In A. Wolisz, I. Schieferdecker, and A. Rennoch, editors, Formate Beschrei- bungstechniken für verteilte Systeme, GI/ITG Fachgespräch 1997, pp. 343- 352. GMD Verlag (St. Augustin), 1997.
18. [IT93a] ITU-T. Recommendation Z.100, Specification and Description Language (SDL). ITU, 1993.
19. [IT93b] ITU-T. Recommendation Z.120, Message Sequence Chart (MSC). ITU, 1993.
20. [MS96] Olaf Müller and Peter Scholz. Specification of Real-Time and Hybrid Systems in FOCUS. Technical Report TUM-I9627, Technische Univerität München, 1996.
21. [Par95] D.L. Pamas. Using Mathematical Models in the Inspection of Critical Software. In Michael G. Hinchey and Jonathan P. Bowen, editors, Applications of Formal Methods, International Series in Computer Science, chapter 2, pages 17-31. Prentice Hall, 1995.
22. [RSW97] Georg Rock, Werner Stephan, and Andreas Wolpers. Tool Support for the Compositional Development of Distributed Systems. In Tagungsband 7. GI/ITG-Fachgespräch Formale Beschreibungstechniken für verteilte Systeme, number 315 in GMD Studien. GMD, 1997.
23. [Sad98] S. Sadeghipour. Testing Cyclic Software Components of Reactive Systems on the Basis of Formal Specifications. PhD thesis, Technische Universitt Berlin, Fachbereich Informatik, 1998.
24. [Slo97] Oscar Slotosch. Refinements in HOLCF: Implementation of Interactive Systems. PhD thesis, Technische Universität München, 1997.