Buch, Englisch, 281 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 4569 g
13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
Buch, Englisch, 281 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 4569 g
Reihe: Programming and Software Engineering
ISBN: 978-3-319-57665-7
Verlag: Springer International Publishing
The 11 full papers presented together with one tool paper and 3 invited papers were carefully reviewed and selected from 27 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
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.
