Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 4111)
Conference series link(s): FMCO: International Symposium on Formal Methods for Components and Objects
Conference proceedings info: FMCO 2005.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (19 papers)
-
Front Matter
-
Component and Service Oriented Computing
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.
Keywords
- Hardware
- Usability
- design
- formal method
- model checking
- modeling
- programming
- programming language
- software engineering
- validation
- verification
Editors and Affiliations
-
Centre for Mathematics and Computer Science, CWI, Amsterdam, The Netherlands
Frank S. Boer
-
Leiden Institute of Advanced Computer Science, Leiden University, Leiden, The Netherlands
Marcello M. Bonsangue
-
Centre Equitation, VERIMAG, Grenoble-Gières, France
Susanne Graf
-
Institute of Computer Science and Applied Mathematics, Christian-Albrechts University, Kiel, Germany
Willem-Paul Roever
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, Computer Science Logic and Foundations of Programming, Theory of Computation, Compilers and Interpreters, Operating Systems