Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Boer, Frank S. de (Editor), Bonsangue, Marcello M. (Editor), Madelaine, Eric (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Series: Lecture Notes in Computer Science, 5751
• Subjects: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; 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...