Volume 195 2005

Engineering Theories of Software Intensive Systems

Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Editors:

ISBN: 978-1-4020-3530-2 (Print) 978-1-4020-3532-6 (Online)

Table of contents (13 chapters)

  1. Architectures, Design and Interfaces

    1. No Access

      Book Chapter

      Pages 3-46

      Incremental Software Construction with Refinement Diagrams

    2. No Access

      Book Chapter

      Pages 47-81

      Service-Oriented Systems Engineering: Specification and Design of Services and Layered Architectures

    3. No Access

      Book Chapter

      Pages 83-104

      Interface-Based Design

    4. No Access

      Book Chapter

      Pages 105-118

      The Dependent Delegate Dilemma

  2. System and Program Verification, Model Checking and Theorem Proving

    1. No Access

      Book Chapter

      Pages 121-139

      Formalizing Counterexample-Driven Refinement with Weakest Preconditions

    2. No Access

      Book Chapter

      Pages 141-175

      A Mechanically Checked Proof of a Comparator Sort Algorithm

    3. No Access

      Book Chapter

      Pages 177-213

      Keys in Formal Verification

    4. No Access

      Book Chapter

      Pages 215-253

      On the Utility of Canonical Abstraction

  3. Process Algebras and Experimental Calculi

    1. No Access

      Book Chapter

      Pages 257-283

      Process Algebra: A Unifying Approach

    2. No Access

      Book Chapter

      Pages 285-330

      Computation Orchestration

    3. No Access

      Book Chapter

      Pages 331-350

      A Tree Semantics of an Orchestration Language

  4. Security, System Development and Special Aspects

    1. No Access

      Book Chapter

      Pages 353-398

      Model Driven Security

    2. No Access

      Book Chapter

      Pages 399-404

      Some Challenges for System Development: Reactive Animation, Smart Play-Out and Olfaction