ABSTRACT

The DEOS Process makes it possible to enhance the dependability of information systems in line with stakeholders’ agreements throughout their lifecycles and at all individual stages thereof, such as design, development, modifi cation, and operation. Against this backdrop, D-Script provides a means for executing operational procedures that the stakeholders have agreed upon in D-RE .