Formal Aspects of Component Software : 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers - Kouchnarenko, Olga.; Khosravi, Ramtin; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
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.
Keywords: Software engineering; Software Engineering