Software Failures
Real-time anomalies
Appoximations/accuracy
Abstractions
Contracts/constraints
Reuse/parameterization
Type checking
Previous slide
Next slide
Back to first slide
View graphic version