>> Google Books

Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers

フォーマット:
電子ブック
責任表示:
edited by Ivan Lanese, Eric Madelaine
言語:
英語
出版情報:
Cham : Springer International Publishing : Imprint: Springer, 2015
形態:
X, 385 p. 132 illus
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 8997
目次情報:
Components as Location Graphs
A Formal Approach to Autonomic Systems Programming: The SCEL Language
Compositional Approaches
Verified Service Compositions by Template-Based Construction
Compositional Verification of Asynchronously Communicating Systems
Compositional Analysis Using Component-Oriented Interpolation
Adaptation and Evolution
Impact Models for Architecture-Based Self-adaptive Systems
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime
Formal Rules for Reliable Component-Based Architecture Evolution
Application and Experience
Solving Parity Games in Scala
Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report
Tools
From HELENA Ensemble Specifications to Executable Code
MAccS: A Tool for Reachability by Design
MPASS: An Efficient Tool for the Analysis of Message-Passing Programs
Scheduling, Time and Hybrid Systems Widening the Schedulability of Hierarchical Scheduling Systems
Adding Formal Meanings to AADL with Hybrid Annex
Component-Based Modeling and Observer-Based Verification for Railway Safety-Critical Applications
Other Verification Approaches
Intransitive Non-Interference by Unfolding
Reduction and Abstraction Techniques for BIP
Compositionality for Quantitative Specifications
Safety and Liveness of Composition
Algorithmic Verification of Procedural Programs in the Presence of Code Variability
Place-Liveness of ComSA Applications
Weakness: Verifying Correctness on TSO Architectures
Components as Location Graphs
A Formal Approach to Autonomic Systems Programming: The SCEL Language
Compositional Approaches
Verified Service Compositions by Template-Based Construction
Compositional Verification of Asynchronously Communicating Systems
Compositional Analysis Using Component-Oriented Interpolation
続きを見る
書誌ID:
LB00386149
ISBN:
9783319153162 [3319153161]  CiNii Books  Webcat Plus  Google Books
9783319153179 [331915317X]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Calinescu, Radu, Rumpe, Bernhard, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Liu, Shaoying, Duan, Zhenhua, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Braga, Christiano, Marti-Oliet, Narciso, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bernardo, Marco, Johnsen, Einar Broch, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Canal, Carlos, Idani, Akram, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Havelund, Klaus, Holzmann, Gerard, Joshi, Rajeev, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Meyer, Bertrand, Nordio, Martin, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Dastani, Mehdi, Sirjani, Marjan, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Combemale, Benoit, Cheng, Betty H.C., France, Robert B., Jezequel, Jean-Marc, Rumpe, Bernhard, SpringerLink (Online …

Springer International Publishing : Imprint: Springer

Taentzer, Gabriele, Bordeleau, Francis, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Naumann, David, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Bartocci, Ezio, Majumdar, Rupak, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer