Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Boer, Frank S. de (Επιμελητής έκδοσης), Bonsangue, Marcello M. (Επιμελητής έκδοσης), Madelaine, Eric (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
• Σειρά: Lecture Notes in Computer Science, 5751
• Θέματα: Computer science.; Software engineering.; Computer programming.; Programming languages (Electronic computers).; Operating systems (Computers).; Computer logic.; Computer Science.; Software Engineering/Programming and Operating Systems.; Operating Systems.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Logics and Meanings of Programs.; Programming Techniques.

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...

Πίνακας περιεχομένων:

• 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.