Formal Aspects of Component Software
Book chapter (January 2024)
Formal Aspects of Component Software
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Formal Models and Analysis for Self-adaptive Cyber-physical Systems
-
Altmetric BadgeChapter 2 From Formal Methods to Software Components: Back to the Future?
-
Altmetric BadgeChapter 3 A Core Model for Choreographic Programming
-
Altmetric BadgeChapter 4 Checking Business Process Evolution
-
Altmetric BadgeChapter 5 Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing - Technical Report
-
Altmetric BadgeChapter 6 Checking Multi-view Consistency of Discrete Systems with Respect to Periodic Sampling Abstractions
-
Altmetric BadgeChapter 7 Constrained Synthesis from Component Libraries
-
Altmetric BadgeChapter 8 MARTE/pCCSL: Modeling and Refining Stochastic Behaviors of CPSs with Probabilistic Logical Clocks
-
Altmetric BadgeChapter 9 A Formal and Run-Time Framework for the Adaptation of Local Behaviours to Match a Global Property
-
Altmetric BadgeChapter 10 Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems
-
Altmetric BadgeChapter 11 Reasoning About Connectors in Coq
-
Altmetric BadgeChapter 12 (Context-Sensitivity In) Reo, Revisited
-
Altmetric BadgeChapter 13 Validated Test Models for Software Product Lines: Featured Finite State Machines
-
Altmetric BadgeChapter 14 Tool Support for Fuzz Testing of Component-Based System Adaptation Policies
-
Altmetric BadgeChapter 15 Coordinated Actors for Reliable Self-adaptive Systems
-
Altmetric BadgeChapter 16 Architecture-Based Design: A Satellite On-Board Software Case Study