Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Boer, Frank S. de (Editor), Bonsangue, Marcello M. (Editor), Hallerstede, Stefan (Editor), Leuschel, Michael (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
• Series: Lecture Notes in Computer Science, 6286
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Operating Systems.; Logics and Meanings of Programs.; Software Engineering/Programming and Operating Systems.; Programming Techniques.

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to th...