| Summary: Output from |
 |
- Task: ENG.3.BP5: Verify System Architectural Design.
- Task: ENG.5.BP4: Describe dynamic behaviour.
- Task: ENG.5.BP5: Define resource consumption objectives.
- Task: ENG.5.BP6: Develop detailed design.
- Task: ENG.5.BP7: Develop Verification Criteria.
- Task: ENG.5.BP8: Verify Software Design.
- Task: ENG.6.BP6: Verify software units.
- Task: ENG.6.BP7: Record the results of unit verification.
Licensed Materials - Property of IBM |