Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys (Paperback, 2005)

Preface. Part I Architectures, Design and Interfaces Incremental Software Construction with Refinement Diagrams; R.-J. Back. Service-oriented Systems Engineering: Specification and Design of Services and Layered Architectures; M. Broy. Interface-based Design; T.A. Henzinger, L. de Alfaro. The Dependent Delegate Dilemma; B. Meyer.- Part II System and Program Verification, Model Checking and Theorem Proving Formalizing Counterexample-driven Refinement with Weakest Preconditions; T. Ball. A Mechanically Checked Proof of a Comparator Sort Algorithm; J Strother Moore, B. Brock. Keys in Formal Verification: Abstractions for Progress; A. Pnueli. On the utility of canonical abstraction; S. Sagi et al.- Part III Process Algebras and Experimental Calculi Process Algebra: a Unifying Approach; T. Hoare. Computation Orchestration; J. Misra. A Tree Semantics of an Orchestration Language; T. Hoare et al.- Part IV Security, System Development and Special Aspects Model Driven Security; D. Basin et al. Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction; David Harel.