Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006, Revised Lectures

by Boer, Frank S. De; Bonsangue, Marcello M.; Graf, Susanne; Roever, Willem-Paul de

• ISBN13: 9783540747918
• ISBN10: 3540747915
• Format: Paperback
• Copyright: 2008-02-06
• Publisher: Springer Verlag

Summary

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006. It 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.

Table of Contents

Testing
Model-Based Testing of Environmental Conformance of Components	p. 1
Exhaustive Testing of Exception Handlers with Enforcer	p. 26
Model-Based Test Selection for Infinite-State Reactive Systems	p. 47
Program Verification
Verifying Object-Oriented Programs with KeY: A Tutorial	p. 70
Rebeca: Theory, Applications, and Tools	p. 102
Learning Meets Verification	p. 127
Trust and Security
JACK-A Tool for Validation of Security and Behaviour of Java Applications	p. 152
Towards a Formal Framework for Computational Trust	p. 175
Models of Computation
On Recursion, Replication and Scope Mechanisms in Process Calculi	p. 185
Bounded Session Types for Object Oriented Languages	p. 207
Distributed Programming
Reflecting on Aspect-Oriented Programming, Metaprogramming, and Adaptive Distributed Monitoring	p. 246
Links: Web Programming Without Tiers	p. 266
Author Index	p. 297
Table of Contents provided by Ingram. All Rights Reserved.