Table of Contents
Faults
Software Failures
Real-time Anomalies
Pathfinder
Pathfinder
Pathfinder
Pathfinder
Approximations
Patriot
Patriot
Patriot
Abstractions
Y2K
Y2K
Y2K
Y2K
Contracts/Constraints
Internet Worm
Internet Worm
Internet Worm
Internet Worm Today
Reuse/Parameterization
Ariane 5
Ariane 5
Ariane 5
Ariane 5
Type Checking
Mars Climate Orbiter
Mars Climate Orbiter
Mars Climate Orbiter
Platform Portability
Platform Portability
Simulations
Conclusion
|
|