Component‐based specification, design and verification of adaptive systems
Article in Systems Engineering (April 2023)
From Programs to Systems. The Systems perspective in Computing
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Model-Driven Information Flow Security for Component-Based Systems
-
Altmetric BadgeChapter 2 Context-Bounded Analysis of TSO Systems
-
Altmetric BadgeChapter 3 A Model of Dynamic Systems
-
Altmetric BadgeChapter 4 From Hierarchical BIP to Petri Calculus
-
Altmetric BadgeChapter 5 Programming and Verifying Component Ensembles
-
Altmetric BadgeChapter 6 Parametric and Quantitative Extensions of Modal Transition Systems
-
Altmetric BadgeChapter 7 Specification Theories for Probabilistic and Real-Time Systems
-
Altmetric BadgeChapter 8 Compositional Branching-Time Measurements
-
Altmetric BadgeChapter 9 Steps towards Scenario-Based Programming with a Natural Language Interface
-
Altmetric BadgeChapter 10 Assembly Theories for Communication-Safe Component Systems
-
Altmetric BadgeChapter 11 Constructive Collisions
-
Altmetric BadgeChapter 12 The Unmet Challenge of Timed Systems
-
Altmetric BadgeChapter 13 Let’s Get Physical: Computer Science Meets Systems
-
Altmetric BadgeChapter 14 What Can be Computed in a Distributed System?
-
Altmetric BadgeChapter 15 Toward a System Design Science
-
Altmetric BadgeChapter 16 OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
-
Altmetric BadgeChapter 17 Feedback in Synchronous Relational Interfaces
-
Altmetric BadgeChapter 18 Reasoning about Network Topologies in Space