English
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