Bild 1 von 3
Galerie
Bild 1 von 3
Grundlagen des zuverlässigen Rechnens für Software-Ingenieure John Knight NEU!-
US $39,06
Ca.EUR 33,42
oder Preisvorschlag
Bisher US $45,95 (- 15%)
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
Sonderaktion endet in: 1 T 16 Std
- Sofort-KaufenGrundlagen des zuverlässigen Rechnens für Software-Ingenieure John Knight NEU!
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
US $7,95 (ca. EUR 6,80) USPS Media MailTM.
Standort: West Yarmouth, Massachusetts, USA
Lieferung:
Lieferung zwischen Fr, 5. Sep und Mi, 10. Sep nach 94104 bei heutigem Zahlungseingang
Rücknahme:
30 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:226857722844
Artikelmerkmale
- Artikelzustand
- Brand
- Unbranded
- Book Title
- Fundamentals of Dependable Computing for Software Engineers (Cha
- MPN
- Does not apply
- ISBN
- 9781439862551
Über dieses Produkt
Product Identifiers
Publisher
CRC Press LLC
ISBN-10
1439862559
ISBN-13
9781439862551
eBay Product ID (ePID)
99534053
Product Key Features
Number of Pages
433 Pages
Language
English
Publication Name
Fundamentals of Dependable Computing for Software Engineers
Publication Year
2012
Subject
Programming / Games, Programming / Algorithms, Software Development & Engineering / General
Type
Textbook
Subject Area
Computers
Series
Chapman and Hall/Crc Innovations in Software Engineering and Software Development Ser.
Format
Hardcover
Dimensions
Item Height
0.9 in
Item Weight
21.7 Oz
Item Length
9.2 in
Item Width
6.2 in
Additional Product Features
Intended Audience
College Audience
LCCN
2011-046591
Reviews
This book takes full advantage of the extensive work that has been undertaken over many years on the creation of a rich set of system dependability concepts. John Knight makes excellent use of these concepts in producing a very well-argued and comprehensive account, aimed squarely at software engineers, of the variety of dependability issues they are likely to find in real systems and of the strategies that they should use to address these issues. Appropriately qualified students who study this book thoroughly and computer professionals seeking a greater understanding of the various dependability-related problems that they have encountered already in their careers should gain much from this book. I therefore take great pleasure in enthusiastically recommending it to both classes of reader. -From the Foreword by Brian Randell, Newcastle University, UK, The book is an important addition to onee(tm)s bookshelf. e it is insightful, close to faultless, and a wonderful reference. Read it from front to back and cite it in your proposals and professional and scholarly papers. e This book can and should be taught as part of an undergraduate or graduate software engineering program. I wish it had been available when I was setting up a graduate software engineering program e . e"Larry Bernstein, Computing Reviews, June 2012 This book takes full advantage of the extensive work that has been undertaken over many years on the creation of a rich set of system dependability concepts. John Knight makes excellent use of these concepts in producing a very well-argued and comprehensive account, aimed squarely at software engineers, of the variety of dependability issues they are likely to find in real systems and of the strategies that they should use to address these issues. Appropriately qualified students who study this book thoroughly and computer professionals seeking a greater understanding of the various dependability-related problems that they have encountered already in their careers should gain much from this book. I therefore take great pleasure in enthusiastically recommending it to both classes of reader. e"From the Foreword by Brian Randell, Newcastle University, UK, The book is an important addition to one's bookshelf. ... it is insightful, close to faultless, and a wonderful reference. Read it from front to back and cite it in your proposals and professional and scholarly papers. ... This book can and should be taught as part of an undergraduate or graduate software engineering program. I wish it had been available when I was setting up a graduate software engineering program ... . --Larry Bernstein, Computing Reviews, June 2012 This book takes full advantage of the extensive work that has been undertaken over many years on the creation of a rich set of system dependability concepts. John Knight makes excellent use of these concepts in producing a very well-argued and comprehensive account, aimed squarely at software engineers, of the variety of dependability issues they are likely to find in real systems and of the strategies that they should use to address these issues. Appropriately qualified students who study this book thoroughly and computer professionals seeking a greater understanding of the various dependability-related problems that they have encountered already in their careers should gain much from this book. I therefore take great pleasure in enthusiastically recommending it to both classes of reader. --From the Foreword by Brian Randell, Newcastle University, UK, The book is an important addition to one'e(tm)s bookshelf. 'e¦ it is insightful, close to faultless, and a wonderful reference. Read it from front to back and cite it in your proposals and professional and scholarly papers. 'e¦ This book can and should be taught as part of an undergraduate or graduate software engineering program. I wish it had been available when I was setting up a graduate software engineering program 'e¦ . 'e"Larry Bernstein, Computing Reviews, June 2012 This book takes full advantage of the extensive work that has been undertaken over many years on the creation of a rich set of system dependability concepts. John Knight makes excellent use of these concepts in producing a very well-argued and comprehensive account, aimed squarely at software engineers, of the variety of dependability issues they are likely to find in real systems and of the strategies that they should use to address these issues. Appropriately qualified students who study this book thoroughly and computer professionals seeking a greater understanding of the various dependability-related problems that they have encountered already in their careers should gain much from this book. I therefore take great pleasure in enthusiastically recommending it to both classes of reader. 'e"From the Foreword by Brian Randell, Newcastle University, UK, The book is an important addition to one's bookshelf. … it is insightful, close to faultless, and a wonderful reference. Read it from front to back and cite it in your proposals and professional and scholarly papers. … This book can and should be taught as part of an undergraduate or graduate software engineering program. I wish it had been available when I was setting up a graduate software engineering program … . -Larry Bernstein, Computing Reviews, June 2012 This book takes full advantage of the extensive work that has been undertaken over many years on the creation of a rich set of system dependability concepts. John Knight makes excellent use of these concepts in producing a very well-argued and comprehensive account, aimed squarely at software engineers, of the variety of dependability issues they are likely to find in real systems and of the strategies that they should use to address these issues. Appropriately qualified students who study this book thoroughly and computer professionals seeking a greater understanding of the various dependability-related problems that they have encountered already in their careers should gain much from this book. I therefore take great pleasure in enthusiastically recommending it to both classes of reader. -From the Foreword by Brian Randell, Newcastle University, UK
Dewey Edition
23
Illustrated
Yes
Dewey Decimal
004.2
Table Of Content
Introduction The Elements of Dependability The Role of the Software Engineer Our Dependence on Computers Some Regrettable Failures Consequences of Failure The Need for Dependability Systems and Their Dependability Requirements Where Do We Go from Here? Organization of This Book Dependability Requirements Why We Need Dependability Requirements The Evolution of Dependability Concepts The Role of Terminology What Is a System? Requirements and Specification Failure Dependability and Its Attributes Systems, Software and Dependability Defining Dependability Requirements As Low as Is Reasonably Practicable (ALARP) Errors, Faults, and Hazards Errors The Complexity of Erroneous States Faults and Dependability The Manifestation of Faults Degradation Faults Design Faults Byzantine Faults Component Failure Semantics Fundamental Principle of Dependability Anticipated Faults Hazards Engineering Dependable Systems Dependability Analysis Anticipating Faults Generalizing the Notion of Hazard Fault Tree Analysis Failure Modes, Effects and Criticality Analysis Hazard and Operability Analysis Dealing with Faults Faults and Their Treatment Fault Avoidance Fault Elimination Fault Tolerance Fault Forecasting Applying the Four Approaches to Fault Treatment Dealing with Byzantine Faults Degradation Faults and Software Impact on Software Redundancy Redundant Architectures Quantifying the Benefits of Redundancy Distributed Systems and Fail Stop Computers Software Dependability Faults and the Software Lifecycle Formal Techniques Verification by Model Checking Correctness by Construction Approaches to Correctness by Construction Correctness by Construction -- Synthesis Correctness by Construction -- Refinement Software Fault Avoidance Software Fault Elimination Managing Software Fault Avoidance and Elimination Misconceptions about Software Dependability Software Fault Avoidance in Specification The Role of Specification Difficulties with Natural Languages Specification Difficulties Formal Languages Model-Based Specification The Declarative Language Z A Simple Example A Detailed Example Overview of Formal Specification Development Software Fault Avoidance in Implementation Implementing Software Programming Languages An Overview of Ada Programming Standards Correctness by Construction -- SPARK Software Fault Elimination Why Fault Elimination? Inspection Testing Software Fault Tolerance Components Subject to Design Faults Issues with Design Fault Tolerance Software Replication Design Diversity Data Diversity Targeted Fault Tolerance Dependability Assessment Approaches to Assessment Quantitative Assessment Prescriptive Standards Rigorous Arguments Applicability of Argumentation Bibliography Exercises appear at the end of each chapter.
Synopsis
Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability. Readers will learn: Why dependability matters What it means for a system to be dependable How to build a dependable software system How to assess whether a software system is adequately dependable The author focuses on the actions needed to reduce the rate of failure to an acceptable level, covering material essential for engineers developing systems with extreme consequences of failure, such as safety-critical systems, security-critical systems, and critical infrastructure systems. The text explores the systems engineering aspects of dependability and provides a framework for engineers to reason and make decisions about software and its dependability. It also offers a comprehensive approach to achieve software dependability and includes a bibliography of the most relevant literature. Emphasizing the software engineering elements of dependability, this book helps software and computer engineers in fields requiring ultra-high levels of dependability, such as avionics, medical devices, automotive electronics, weapon systems, and advanced information systems, construct software systems that are dependable and within budget and time constraints.
LC Classification Number
QA76.76.R44
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
helluvahodgepodge
99,5% positive Bewertungen•9.143 Artikel verkauft
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe. Mehr erfahrenMehr erfahren
Verkäuferbewertungen (3.603)
- a***a (57)- Bewertung vom Käufer.Letztes JahrBestätigter KaufItem arrived today (Feb 3rd) and was just as pictured and described. Few paint chips here and there. . .but. . .it had BOTH of the back doors. My older Lomas Ambulance lost its doors decades ago. . .so this one will serve as a Nice Replacement! Item was extremely well-packaged and wrapped up and taped all around in a little box. . .then that box was placed in a eBay water-proof shipping bag, I am very satisfied with the item and the seller!Vintage Matchbox Lesney Lomas Ambulance No 14 Made In England (Nr. 226502551233)
- -***8 (87)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufVery good condition card, was as described. High quality and good value for the money paid. Excellent job on the packing, the card arrived unscathed. Card was shipped February 28 and arrived in my mailbox March 3.1967 Topps #65 JOHNNY ROBINSON NFL Kansas City Chiefs HOF (Nr. 226563857868)
- 2***8 (15)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufThis seller was fantastic to work with! Great and quick communication when I asked a question about the item I purchased. The sellers kindness made me ever more excited to make the purchase. The item was well packaged, arrived quickly, and was in great condition. I give my highest recommendation to order items form this seller.Waterford Crystal NEW YORK YANKEES Clear Jewelry Trinket Box w/ Monogrammed Lid (Nr. 226623191589)
Noch mehr entdecken:
- Knight Rider Hörspiele,
- Hörbücher und Hörspiele Knight Rider,
- John Grisham Belletristik-Bücher,
- Hörbücher und Hörspiele Knight Rider Kassette,
- Hörspiele Geisterjäger John Sinclair,
- John Grisham Belletristik Romane,
- John Irving Belletristik-Bücher,
- John Grisham Thriller Bücher Belletristik,
- Hörbücher und Hörspiele Geisterjäger John Sinclair mit Audio-CD,
- John Grisham Literatur Bücher Belletristik
helluvahodgepodge
99,5% positive Bewertungen•9.143 Artikel verkauft
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe. Mehr erfahrenMehr erfahren
Verkäuferbewertungen (3.603)
- a***a (57)- Bewertung vom Käufer.Letztes JahrBestätigter KaufItem arrived today (Feb 3rd) and was just as pictured and described. Few paint chips here and there. . .but. . .it had BOTH of the back doors. My older Lomas Ambulance lost its doors decades ago. . .so this one will serve as a Nice Replacement! Item was extremely well-packaged and wrapped up and taped all around in a little box. . .then that box was placed in a eBay water-proof shipping bag, I am very satisfied with the item and the seller!Vintage Matchbox Lesney Lomas Ambulance No 14 Made In England (Nr. 226502551233)
- -***8 (87)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufVery good condition card, was as described. High quality and good value for the money paid. Excellent job on the packing, the card arrived unscathed. Card was shipped February 28 and arrived in my mailbox March 3.1967 Topps #65 JOHNNY ROBINSON NFL Kansas City Chiefs HOF (Nr. 226563857868)
- 2***8 (15)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufThis seller was fantastic to work with! Great and quick communication when I asked a question about the item I purchased. The sellers kindness made me ever more excited to make the purchase. The item was well packaged, arrived quickly, and was in great condition. I give my highest recommendation to order items form this seller.Waterford Crystal NEW YORK YANKEES Clear Jewelry Trinket Box w/ Monogrammed Lid (Nr. 226623191589)