Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4111)
Included in the following conference series:
Conference proceedings info: FMCO 2005.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
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 reusability and modifiability, and their implementation in new extensions of existing programming languages.
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands, in November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems. The papers are organized in topical sections on component and service oriented computing, system design, tools, algebraic methods, model checking, assertional methods, quantitative analysis.
Similar content being viewed by others
Keywords
Table of contents (19 papers)
-
Component and Service Oriented Computing
Other volumes
-
Formal Methods for Components and Objects
Editors and Affiliations
Bibliographic Information
Book Title: Formal Methods for Components and Objects
Book Subtitle: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Editors: Frank S. Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul Roever
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/11804192
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2006
Softcover ISBN: 978-3-540-36749-9Published: 10 August 2006
eBook ISBN: 978-3-540-36750-5Published: 30 September 2006
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 429
Topics: Software Engineering, Logics and Meanings of Programs, Theory of Computation, Programming Languages, Compilers, Interpreters, Operating Systems