دانلود کتاب Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers

فهرست مطالب :

Front Matter....Pages I-X
Probabilistic Modal Specifications (Invited Extended Abstract)....Pages 1-4
Orchestration....Pages 5-12
Super-Dense Computation in Verification of Hybrid CSP Processes....Pages 13-22
A Proof-Carrying Code Approach to Certificate Auction Mechanisms....Pages 23-40
Towards Verification of Ensemble-Based Component Systems....Pages 41-60
Hierarchical Scheduling Framework Based on Compositional Analysis Using Uppaal....Pages 61-78
Incremental Modeling of System Architecture Satisfying SysML Functional Requirements....Pages 79-99
Formalising Adaptation Patterns for Autonomic Ensembles....Pages 100-118
Towards a Failure Model of Software Components....Pages 119-136
Formally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial World....Pages 137-156
A General Trace-Based Framework of Logical Causality....Pages 157-173
Axioms and Abstract Predicates on Interfaces in Specifying/Verifying OO Components....Pages 174-195
A Framework for Handling Non-functional Properties Within a Component-Based Approach....Pages 196-214
Using Daikon to Prioritize and Group Unit Bugs....Pages 215-233
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns....Pages 234-253
Automatic Component Deployment in the Presence of Circular Dependencies....Pages 254-272
Modeling and Analysis of Component Connectors in Coq....Pages 273-290
On the Complexity of Input Output Conformance Testing....Pages 291-309
Compatibility Checking for Asynchronously Communicating Software....Pages 310-328
Layered Reduction for Modal Specification Theories....Pages 329-347
Define, Verify, Refine: Correct Composition and Transformation of Concurrent System Semantics....Pages 348-368
A Formal Model for Service-Based Behavior Specification Using Stream-Based I/O Tables....Pages 369-383
Back Matter....Pages 385-385