Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
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 more emphasis on specification, modelling and validation techniques supporting the concepts of reusabili...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2008.
|
| Σειρά: | Lecture Notes in Computer Science,
5382 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- The MOBIUS Project
- The MOBIUS Proof Carrying Code Infrastructure
- Certification Using the Mobius Base Logic
- Safety Guarantees from Explicit Resource Management
- Universe Types for Topology and Encapsulation
- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
- The GridCOMP Project
- Active Objects and Distributed Components: Theory and Implementation
- The SELFMAN Project
- Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
- The ARTIST Project
- Causal Semantics for the Algebra of Connectors
- Multiple Viewpoint Contract-Based Specification and Design
- The CREDO Project
- Coordination: Reo, Nets, and Logic
- An Object-Oriented Component Model for Heterogeneous Nets
- Coordinating Object Oriented Components Using Data-Flow Networks.
