Formal Methods for Components and Objects

7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

By: Frank S. De Boer (Editor), Marcello M. Bonsangue (Editor), Eric Madelaine (Editor)

Write A Review

Paperback | 7 September 2009

At a Glance

Paperback
312 Pages

Dimensions(cm)
23.39 x 15.6 x 1.65

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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 the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java.

This state-of-the-art survey presents the outcome of the 7th Symposium on Formal Methods for Components and Objects, held in Sophia Antipolis, France, in October 2008. The volume contains 14 revised contributions submitted after the symposium by speakers from each of the following European IST projects: the IST-FP7 project COMPAS on compliance-driven models, languages, and architectures for services; the IST-FP6 project CREDO on modelling and analysis of evolutionary structures for distributed services; the IST-FP7 DEPLOY on industrial deployment of advanced system engineering methods for high productivity and dependability; the IST-FP6 project GridComp on grid programming with components; and the IST-FP6 project MOBIUS aiming at developing the technology for establishing trust and security for the next generation of global computers, using the proof carrying code paradigm.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Software Engineering Mathematics Mathematical Foundation Mathematical Logic Programming & Scripting Languages Operating Systems Computer Science Computer Architecture & Logic Design Mathematical Theory of Computation

Compilers & Interpreters

The COMPAS Project
Reusable Architectural Decision Model for Model and Metadata Repositories	p. 1
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems	p. 21
The CREDO Project
A Real-Time Extension of Creol for Modelling Biomedical Sensors	p. 42
Conformance Testing of Distributed Concurrent Systems with Executable Designs
Formal Verification for Components and Connectors	p. 82
The DEPLOY Project
Formal Modular Modelling of Context-Awareness	p. 102
Towards Demonstrably Correct Compilation of Java Byte Code	p. 119
Incremental System Modelling in Event-B	p. 139
The GRIDCOMP Project
An Asynchronous Distributed Component Model and Its Semantics	p. 159
Specification and Verification for Grid Component-Based Applications: From Models to Tools	p. 180
Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed programming	p. 204
The MOBIUS Project
Session-Based Compilation Framework for Multicore Programming	p. 226
Abstract Interpretation of Symbolic Execution with Explicit State Updates	p. 247
BML and Related Tools	p. 278
Author Index	p. 299
Table of Contents provided by Ingram. All Rights Reserved.

Formal Methods for Components and Objects

7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Science

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

The AI Con

How To Fight Big Tech's Hype and Create the Future We Want

The Tech Coup

How to Save Democracy from Silicon Valley

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Nexus

A Brief History of Information Networks from the Stone Age to AI

The New Age of Sexism

How the AI Revolution is Reinventing Misogyny

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Creative Machines

AI, Art & Us

Empire of AI

Inside the reckless race for total domination

Genesis

Artificial Intelligence, Hope, and the Human Spirit

The AI-Driven Leader

Harnessing AI to Make Faster, Smarter Decisions

Speak Data

Artists, Scientists, Thinkers, and Dreamers on How We Live Our Lives in Numbers

Python All-in-One For Dummies

3rd Edition

Intelligent and Secure Solutions for Digital Transformation

Hands-On Machine Learning with Scikit-Learn and PyTorch

Concepts, Tools, and Techniques to Build Intelligent Systems

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Layered Design for Ruby on Rails Applications - Second Edition

Discover practical design patterns and modern abstractions for maintainable Rails applications

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrowâs Projects â" Without You

The Invisible Project Manager

Why Artificial Intelligence Will Run Tomorrowâs Projects â" Without You

Crypto Engine Design

Cyber Shorts

Education and Analog Role-Playing Games

Theory and Pedagogy, Volume 1

Multivariate Statistics and Machine Learning

An Introduction to Applied Data Science Using R and Python

Multivariate Statistics and Machine Learning

An Introduction to Applied Data Science Using R and Python

Digital Leadership

Integrating Technology for Organizational Success

This product is categorised by