Open systems dependability : dependability engineering for ever-changing systems

書誌事項

Open systems dependability : dependability engineering for ever-changing systems

editor, Mario Tokoro

(A Science Publishers book)

CRC Press, c2015

2nd ed

大学図書館所蔵 件 / 3

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

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 constantly changing. Thus, the approach to dependability is called Open Systems Dependability. The DEOS technology realizes Open Systems Dependability. It puts more emphasis on stakeholders' agreement and accountability achievement for business/service continuity than in elemental technologies.

目次

Introduction. Open Systems Dependability. The DEOS Technology. D-Case: Building Consensus and Achieving Accountability. D-Case Tools. D-Case Integrity Checking and Formal Assurance Case. D-RE: The DEOS Runtime Environment Runtime Environment. D-Script: System Operation Based on D-Case Agreement. D-ADD-The Agreement Description Database. Toward Standardization of Open Systems Dependability. Concluding Remarks. Appendix. Index.

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ