Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers /
| Autor Corporativo: | |
|---|---|
| Otros Autores: | , |
| Formato: | eBook |
| Lenguaje: | English |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edición: | 1st ed. 2017. |
| Colección: | Programming and Software Engineering ;
10231 |
| Materias: |
Tabla de Contenidos:
- Formal Models and Analysis for Self-Adaptive Cyber-Physical Systems
- From Formal Methods to Software Components: Back to the Future?
- From Devices to Data: Testing the IoT
- Core Model for Choreographic Programming
- Checking Business Process Evolution
- Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing
- Checking multi-view consistency of discrete systems with respect to periodic sampling abstractions
- Constrained Synthesis from Component Libraries
- MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
- A Formal and Run-time Framework for the Adaptation of Local Behaviours to Match a Global Property
- Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems
- Reasoning about Connectors in Coq
- (Context-Sensitivity in) Reo, Revisited
- Validated Test Models for Software Product Lines: Featured Finite State Machines
- Tool Support for Fuzz Testing of Component-Based System Adaptation Policies
- Coordinated Actors for Reliable Self-Adaptive Systems
- Architecture-based design: a satellite on-board software case study.