Formal Methods for Components and Objects : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
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...
Corporate Author: | |
---|---|
Other Authors: | , , , |
Format: | Book |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2010
|
Edition: | First edition 2010 |
Series: | Computer Science (Springer-11645)
LNCS sublibrary Programming and software engineering ; 6286. |
Subjects: |