ABSTRACT

The book describes a fundamentally new approach to software dependability, considering a software system as an ever-changing system due to changes in service objectives, users' requirements, standards and regulations, and to advances in technology. Such a system is viewed as an Open System since its functions, structures, and boundaries are constan

chapter 1|3 pages

Introduction

chapter 2|16 pages

Open Systems Dependability

chapter 3|21 pages

The Deos Technological System

chapter 5|16 pages

D-case Tools

chapter 7|46 pages

D-RE—The DEOS Runtime Environment

chapter 9|28 pages

D-ADD—The Agreement Description Database

chapter 11|4 pages

Conclusions