Login

Broy, Manfred

Engineering Theories of Software Intensive Systems

Broy, Manfred - Engineering Theories of Software Intensive Systems, ebook

184,80€

Ebook, PDF with Adobe DRM
ISBN: 9781402035326
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Author(s)
 
 
 
Publisher
Springer
Publication year
2005
Language
en
Edition
1
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (PDF)
9781402035326

Similar titles