Engineering Theories of Software Intensive Systems

Part I. Architectures, Design and Interfaces

1. Incremental Software Construction with Refinement Diagrams
Ralph-Johan Back

2. Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures
Manfred Broy

3. Interface-Based Design
Luca Alfaro, Thomas A. Henzinger

4. The Dependent Delegate Dilemma
Bertrand Meyer

Part II. System and Program Verification, Model Checking and Theorem Proving

5. Formalizing Counterexample-Driven Refinement with Weakest Preconditions
Thomas Ball

6. A Mechanically Checked Proof of a Comparator Sort Algorithm
J Strother Moore, Bishop Brock

7. Keys in Formal Verification
Amir Pnueli

8. On the Utility of Canonical Abstraction
Mooly Sagiv, Thomas W. Reps, Reinhard Wilhelm, Eran Yahav

Part III. Process Algebras and Experimental Calculi

9. Process Algebra: A Unifying Approach
Tony Hoare

10. Computation Orchestration
Jayadev Misra

11. A Tree Semantics of an Orchestration Language
Tony Hoare, Galen Menzel, Jayadev Misra

Part IV. Security, System Development and Special Aspects

12. Model Driven Security
David Basin, Jürgen Doser, Torsten Lodderstedt

13. Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction
David Harel

DRM-restrictions

Printing: not available
Clipboard copying: not available

Keywords: COMPUTERS / Computer Science COM014000