Open systems dependability : dependability engineering for ever-changing systems /: dependability engineering for ever-changing systems. ([2015])

• Record Type: Book
• Further Information: Note: Editor, Mario Tokoro.
• Editors: Tokoro, Mario
• Contents: Front Cover; Open Systems Dependability: Dependability Engineering For Ever-changing Systems, Second Edition; Preface; Acknowledgements; Contents; Authors Per Chapter/section; Chapter 1 Introduction; Chapter 2 Open Systems Dependability; Chapter 3 The Deos Technological System; Chapter 4 D-case -building Consensus And Achieving Accountability; Chapter 5 D-case Tools; Chapter 6 D-case Integrity Checking Tool And Formal Assurance Case; Chapter 7 D-re -the Deos Runtime Environment; Chapter 8 D-script -support For System Operation Based On D-case Agreements Chapter 9 D-add -the Agreement Description DatabaseChapter 10 Standardization Of Open Systems Dependability; Chapter 11 Conclusions; Appendix; List Of Authors; Back Cover
• Publisher Details: Boca Raton, FL : CRC Press
• Publication Date: 2015
• Copyright Date: 2015
• Extent: 1 online resource (x, 270 pages)
• Subjects: 004.2; Fault-tolerant computing; Computer systems -- Reliability; COMPUTERS / Computer Literacy; COMPUTERS / Computer Science; COMPUTERS / Data Processing; COMPUTERS / Hardware / General; COMPUTERS / Information Technology; COMPUTERS / Machine Theory; COMPUTERS / Reference; Computer architecture; Computer systems -- Reliability; Fault-tolerant computing; Computer systems -- Reliability; Fault-tolerant computing; Electronic books; Electronic books
• Languages: English
• ISBNs: 9781498736299; 1498736297; 1498736289; 9781498736282
• Related ISBNs: 9781498736282
• Notes: Note: Includes bibliographical references.; Note: Vendor-supplied metadata.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.