English
Engineering Theories of Software Intensive Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Incremental Software Construction with Refinement Diagrams
-
Altmetric BadgeChapter 2 Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures
-
Altmetric BadgeChapter 3 Interface-Based Design
-
Altmetric BadgeChapter 4 The Dependent Delegate Dilemma
-
Altmetric BadgeChapter 5 Formalizing Counterexample-Driven Refinement with Weakest Preconditions
-
Altmetric BadgeChapter 6 A Mechanically Checked Proof of a Comparator Sort Algorithm
-
Altmetric BadgeChapter 7 Keys in Formal Verification
-
Altmetric BadgeChapter 8 On the Utility of Canonical Abstraction
-
Altmetric BadgeChapter 9 Process Algebra: A Unifying Approach
-
Altmetric BadgeChapter 10 Computation Orchestration
-
Altmetric BadgeChapter 11 A Tree Semantics of an Orchestration Language
-
Altmetric BadgeChapter 12 Model Driven Security
-
Altmetric BadgeChapter 13 Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction