Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Boer, Frank S. de (Editor), Bonsangue, Marcello M. (Editor), Graf, Susanne (Editor), Roever, Willem-Paul de (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
• Series: Lecture Notes in Computer Science, 3657
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Operating Systems.

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusabili...