Preisvergleich auf Barfigo.de: Dependable
Vergleichen Sie die Preise in 383 Shops mit insgesamt 12.951.557 Produkten
Ihre Suche nach Dependable ergab 85 Treffer.
Sie befinden sich auf Seite 1 von 9.
Angezeigt werden 10 Ergebnisse
Sie befinden sich auf Seite 1 von 9.
Angezeigt werden 10 Ergebnisse
Architecting Dependable Systems II
Applied Formal Methods - FM-Trends 98
International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings
Verwandte Suchworte:
DEPENDABLE FORMAL FORMALISIERUNG MODEL SOFTWARE SOFTWAREENTWICKLUNG Applied CHECKING DESIGN FM Trends Formal INFORMATIK METHODS Methods SYSTEMS VERIFICATION
EUR 58.80
Lectures on Embedded Systems
European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996
Verwandte Suchworte:
DEPENDABLE EMBEDDED FORMAL HYBRID MIKROCONTROLLER COMPUTING EMBEDDED Embedded Lectures METHODS SYSTEM SYSTEMS Systems
EUR 62.01
Responsibility and Dependable Systems
This book brings together for the first time two important features of a computer system to be embedded in an organisational context: responsibility, meaning whether the computer system properly supports the organisational responsibilities that people are allocated, and dependability, which means whether it does so in a way that people can justifiably trust it to perform its operation correctly.
Organisational responsibility is examined from philosophical, social and practical viewpoints, which then leads to a workflow design which supports those responsibilities.
The approach pays particular attention to looking at what happens when things go wrong and the adjustments and workarounds that people make to fulfil their responsibilities when their primary operational tasks are unachievable or frustrated, and how these alternative strategies can be incorporated into the workflow design.
The application of the method to multi-organisational contexts is dealt with in some detail.
Verwandte Suchworte:
Dependable Responsibility Systems and Organisational responsibility is examined from philosophical, social and practical viewpoints, which then leads to a workflow design which supports those responsibilities.
The approach pays particular attention to looking at what happens when things go wrong and the adjustments and workarounds that people make to fulfil their responsibilities when their primary operational tasks are unachievable or frustrated, and how these alternative strategies can be incorporated into the workflow design.
The application of the method to multi-organisational contexts is dealt with in some detail.
EUR 74.85
Architecting Dependable Systems
Design of Dependable Computing Systems
Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity.
Unfortunately, many faults can harm the development or the use of these products.
Destructive mechanisms transform faults into errors and finally failures altering the delivered service.
For critical systems, the consequences of these failures can be catastrophic, but for most non-critical systems, failures are nowadays unacceptable.
Hence, it is necessary to take dependability attributes into account, along the product lifecycle.
This book aims at providing a general overview of the dependability of computing systems: impairments and protective means.
Issues, concepts and techniques are considered from a system point of view, and are illustrated by both hardware and software technologies.
An important pedagogical effort has been made: the explanations are illustrated by 370 figures, 80 examples, and 97 exercises with complete answers.
A glossary of more than 500 entries defines the important terms.
Verwandte Suchworte:
Computing Dependable Design G 9781402004377 J C Motet Systems Systems Geffroy Unfortunately, many faults can harm the development or the use of these products.
Destructive mechanisms transform faults into errors and finally failures altering the delivered service.
For critical systems, the consequences of these failures can be catastrophic, but for most non-critical systems, failures are nowadays unacceptable.
Hence, it is necessary to take dependability attributes into account, along the product lifecycle.
This book aims at providing a general overview of the dependability of computing systems: impairments and protective means.
Issues, concepts and techniques are considered from a system point of view, and are illustrated by both hardware and software technologies.
An important pedagogical effort has been made: the explanations are illustrated by 370 figures, 80 examples, and 97 exercises with complete answers.
A glossary of more than 500 entries defines the important terms.
EUR 84.95
Dependable Computing EDCC-4
4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings
Verwandte Suchworte:
INFORMATIONSTECHNOLOGIE TECHNOLOGIE Computing Dependable EDCC 4 EDV INFORMATIONSTECHNOLOGIE QUALITAET QUALITAETSSICHERUNG SOFTWARE ENTW THEORIE
EUR 56.66
Dependable Computing - EDCC-2
Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996.
Proceedings
Verwandte Suchworte:
ALLGEMEINES Computing Dependable EDCC 2 EDV THEORIE Proceedings
EUR 74.85
Dependable and Historic Computing
Essays Dedicated to Brian Randell on the Occasion of his 75th Birthday Lecture Notes in Computer Science.
Edition.
Verwandte Suchworte:
EDV BETRIEBSSYSTEM DATENSICHERHEIT DATENSICHERUNG EDV OPERATING PROGRAMMIERSPRACHEN SICHERHEIT Computing DATENSICHERHEIT Dependable ENGINEERING Historic INFORMATIK SOFTWARE SOFTWARE ENTW SYSTEM THEORIE and Edition.
EUR 74.90