Open systems dependability : dependability engineering for ever-changing systems / editor, Mario Tokoro, Co-founder, executive advisor, Sony Computer Science Laboratories, Incorporated, Tokyo, Japan, formerly Sr. Vice President and CTO, Sony Corporati

Contributor(s):

Tokoro, Mario [Editor]

Material type:

9781498736299

Subject(s):

DDC classification:

004.200 O611

Online resources:

Electronic Book Resource

Contents:

1. Introduction -- 2. Open systems dependability -- 3. The DEOS technological system -- 4. D-Case : building consensus and achieving accountability -- 5. D-Case tools -- 6. D-Case integrity checking tool and formal assurance case -- 7. D-RE : the DEOS runtime environment -- 8. D-Script : support for system operation based on D-Case agreements -- 9. D-ADD : the Agreement Description Database -- 10. Standardization of open systems dependability -- 11. Conclusions

List(s) this item appears in: Computer Science

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	URL	Status	Barcode
E-Book	Ranganathan Library	004.200 O611 (Browse shelf(Opens below))	Link to resource	Available	E01400

Browsing Ranganathan Library shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	004.167 PAT Fundamentals of mobile computing /	004.1675 HAS Creating android applications : Develop and design /	004.200 D534 Computer system reliability : safety and usability /	004.200 O611 Open systems dependability : dependability engineering for ever-changing systems /	004.21 DEN Systems analysis and design /	004.21 NUL The essentials of computer organization and architechture /	004.21 SAT Introduction to systems analysis and design : An agile iterative approach /	Next