FROM MODULARITY TO COMPLEXITY: A CROSS‐DISCIPLINARY FRAMEWORK FOR CHARACTERIZING SYSTEMS
Book chapter (April 2018)
The most recent citing publication is shown below. View this citation on Dimensions.
Fundamental Approaches to Software Engineering
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Research Issues in the Renovation of Legacy Systems
-
Altmetric BadgeChapter 2 Continuous Engineering of Information and Communication Infrastructures
-
Altmetric BadgeChapter 3 A Formal Framework with Late Binding
-
Altmetric BadgeChapter 4 Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance
-
Altmetric BadgeChapter 5 Executable Tile Specifications for Process Calculi
-
Altmetric BadgeChapter 6 JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems
-
Altmetric BadgeChapter 7 Conservative Extension in Positive/Negative Conditional Term Rewriting with Applications to Software Renovation Factories
-
Altmetric BadgeChapter 8 Dynamic Systems with Implicit State
-
Altmetric BadgeChapter 9 Rigorous Development in UML
-
Altmetric BadgeChapter 10 Using Explicit State to Describe Architectures
-
Altmetric BadgeChapter 11 On the Evolution of Reactive Components
-
Altmetric BadgeChapter 12 Verification of Definite Iteration over Hierarchical Data Structures
-
Altmetric BadgeChapter 13 Owicki/Gries in Isabelle/HOL
-
Altmetric BadgeChapter 14 Semantic-Driven Performance Evaluation
-
Altmetric BadgeChapter 15 Implementing Hierarchical Graph-Structures
-
Altmetric BadgeChapter 16 A Tool Suite for Multi-Paradigm Specification
-
Altmetric BadgeChapter 17 TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving