
Software Fault Tolerance by Manfred Kersken
The first ESPRIT programme contained several ambitious projects. of which REQUEST. with its wide brief covering all issues of assessment of quality and reliability of software process and product. was one. Within REQUEST. the research described in this volume. concerning those special problems of software that is required to have extremely high reliability. was particularly difficult and ambitious. The problems of software reliability are essentially twofold. On the one hand there is a concern with methods for achieving adequate reliability. on the other hand there is a need to evaluate what has actually been achieved in a particular case. Naturally. far more effort has been spent over the years on the former problem; indeed. there is a sense in which all of conventional software engineering can be seen as a response to this problem. However. it is becoming clearer than ever that we can only claim to have a truly sCientific approach. and so justify the description software engineering. when we are able to measure the attributes of process and product. It is still common to find software development methods recommended to users on purely anecdotal grounds. This is not good enough. Rational choices between rival approaches can only be made on the basis of quantified costs and benefits. Even more worrying is the tendency to argue that a software product can be depended upon merely because it has been developed by honest men using such anecdotal 'good practice'.-
IMPPACT Reference Model
-
Improving the Performance of Neutral File Data Transfers
-
Learning in Man-Computer Interaction
-
The OSI95 Transport Service with Multimedia Support
-
Human Comfort and Security of Information Systems
-
CCE: An Integration Platform for Distributed Manufacturing Applications
-
CIMOSA: Open System Architecture for CIM
-
Enterprise Engineering and Integration: Building International Consensus
-
Vibration Control of Flexible Servo Mechanisms
-
A Natural Language and Graphics Interface
-
The Programming and Proof System ATES
-
Delta-4: A Generic Architecture for Dependable Distributed Computing
-
Advanced Modelling for CAD/CAM Systems
-
CAD Geometry Data Exchange Using STEP
-
Advanced Algorithms and Architectures for Speech Understanding
-
Translator's Workbench
-
Designing User Interfaces for Hypermedia
-
Advances in Human-Computer Interaction
-
Neutral Interfaces in Design, Simulation, and Programming for Robotics
-
Organizational Change, Evolution, Structuring and Awareness
-
Specification of a CAD * I Neutral File for CAD Geometry
-
Database Application Engineering with DAIDA
-
Practical Formal Methods for Hardware Design
-
CAD*I Database
-
Industrial Applications of Neural Networks
-
An External Interface for Processing 3-D Holographic and X-Ray Images
-
Specification for Exchange of Product Analysis Data
-
Automatic Tools for Designing Office Information Systems
-
CAD*I Drafting Model
-
CAD Data Transfer for Solid Models
-
Experiences in Software Evolution and Reuse
| SKU | Unavailable |
| ISBN 13 | 9783540552123 |
| ISBN 10 | 354055212X |
| Title | Software Fault Tolerance |
| Author | Manfred Kersken |
| Series | Research Reports Esprit |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 1992-03-25 |
| Number of pages | 243 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |






























