Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2009.
|
| Edición: | 1st ed. 2009. |
| Colección: | Programming and Software Engineering,
5751 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.