An edition of Formal Methods for Components and Objects (2010)
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
By Frank S. de Boer
Publish Date
2010
Publisher
Springer Berlin Heidelberg
Language
eng
Pages
250
Description:
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
subjects: Logic design, Computer science, Software engineering, Operating systems (Computers), Software Engineering/Programming and Operating Systems, Komponente (Software), Komponente <Software>, Formale Methode, Objektorientierung, Programming Techniques, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Softwareentwicklung, Operating Systems, Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Computer software, Miniature objects, System design, Mathematical Logic and Formal Languages