Indonesian
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
-
Altmetric BadgeChapter 2 Modeling Language Variability
-
Altmetric BadgeChapter 3 An Approach for Effective Design Space Exploration
-
Altmetric BadgeChapter 4 Migration of Legacy Software Towards Correct-by-Construction Timing Behavior
-
Altmetric BadgeChapter 5 Towards IT Systems Capable of Managing Their Health
-
Altmetric BadgeChapter 6 Self-reconfigurable Modular Robots and Their Symbolic Configuration Space
-
Altmetric BadgeChapter 7 Formal Methods @ Runtime
-
Altmetric BadgeChapter 8 Modular State Spaces for Prioritised Petri Nets
-
Altmetric BadgeChapter 9 A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation
-
Altmetric BadgeChapter 10 Towards a Framework for Modelling and Verification of Relay Interlocking Systems
-
Altmetric BadgeChapter 11 Trust Of, In, and among Adaptive Systems
-
Altmetric BadgeChapter 12 Software Certification: Is There a Case against Safety Cases?
-
Altmetric BadgeChapter 13 Testing Adaptive Probabilistic Software Components in Cyber Systems