Formal methods for components and objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, revised selected papers /
Saved in:
Corporate Authors: | ; |
---|---|
Group Author: | |
Published: |
|
Literature type: | Electronic eBook |
Language: | English |
Series: |
Lecture notes in computer science,
7542 LNCS sublibrary. SL 2, Programming and software engineering |
Subjects: | |
Online Access: |
http://dx.doi.org/10.1007/978-3-642-35887-6 |
Carrier Form: | 1 online resource (x, 356 p.) : ill. |
Bibliography: | Includes bibliographical references and author index. |
ISBN: |
9783642358876 (electronic bk.) 364235887X (electronic bk.) |
Index Number: | QA76 |
CLC: | TP311.11-532 |
Contents: |
The ASCENS Project -- ASCENS: Engineering Autonomic Service-Component Ensembles / A Language-Based Approach to Autonomic Computing / A Survey on Basic Connectors and Buffers / The EternalS Coordination Action -- Synthesis-Based Variability Control: Correctness by Construction / Modeling Application-Level Management of Virtualized Resources in ABS / HATS Abstract Behavioral Specification: The Architectural View / |