Loading…
Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey /
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 th...
| Call Number: | Libro Electrónico |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Edition: | 1st ed. 2009. |
| Series: | Programming and Software Engineering,
5751 |
| Subjects: | |
| Online Access: | Texto Completo |
Table of Contents:
- The COMPAS Project
- Reusable Architectural Decision Model for Model and Metadata Repositories
- Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
- The CREDO Project
- A Real-Time Extension of Creol for Modelling Biomedical Sensors
- Conformance Testing of Distributed Concurrent Systems with Executable Designs
- Formal Verification for Components and Connectors
- The DEPLOY Project
- Formal Modular Modelling of Context-Awareness
- Towards Demonstrably Correct Compilation of Java Byte Code
- Incremental System Modelling in Event-B
- The GRIDCOMP Project
- An Asynchronous Distributed Component Model and Its Semantics
- Specification and Verification for Grid Component-Based Applications: From Models to Tools
- Semi-formal Models to Support Program Development: Autonomic Management within Component Based Parallel and Distributed Programming
- The MOBIUS Project
- Session-Based Compilation Framework for Multicore Programming
- Abstract Interpretation of Symbolic Execution with Explicit State Updates
- BML and Related Tools.