Distributed Systems

The book is one of the first publications on distributed software design. It provides an introduction to software engineering for distributed systems. The book explains how software engineering methods for both non-distributed and distributed programs can be combined in order to use their advantages. It is targeted at the software engineering market and at the graduate student market in computer science.

Inhalt
I.- 1 Introduction to Distributed Systems and Distributed Software.- 2 Software Engineering.- 3 Classification of Software System Types.- 4 Software Life Cycles.- 5 Methods: Concepts.- 6 Methods for Concurrent Software System Development.- 7 The Management of Software Development.- 8 Tools.- II.- 9 Overview.- 10 Decomposing a System.- 11 Process Communication and Synchronisation.- 12 Process Behaviour.- 13 Refinements of a Process.- 14 Implementation of SAPP/PASS Specifications.- 15 SAPP/PASS Based Project Management.- 16 PASS Based Computer Aided Software Engineering.- 17 A SAPP/PASS Based Software Engineering Environment.- 18 SAPP/PASS Applications and Experiences.- 19 Discussion of SAPP/PASS.- Literature.