System
TrustedGateway
High SecuritySystem
Low Security
System
PROGRAMME RUNUSING EXISTING BASE
PROCEDURES
Written Q & A
MONITORINGAND REPORTINGACTIVITIESRequirementPROGRAMME RUNUSING FORMAL
METHODS
Written Q & A
System SpecificationSystem Test Specification
REVIEW
REVIEW / COMPARE / REPORT
System SpecificationSystem Test Specification
REVIEW
Updated Requirement
Written Q & A
Written Q & A
System SpecificationSystem Test Specification
REVIEW
REVIEW / COMPARE / REPORTESSI REPORT / WORKSHOP
System SpecificationSystem Test Specification
REVIEW
END OF PHASE 1
Software SpecificationSoftware Test Specification
REVIEWCodeTest Report (Conv)
REVIEWTest Report (FM)REVIEW
REVIEW / COMPARE / REPORTREVIEW / COMPARE / REPORTREVIEW / COMPARE / REPORT
Software SpecificationSoftware Test Specification
REVIEWCodeTest Report (FM)REVIEWTest Report (Conv)
REVIEW
END OF PHASE 2
END OF PHASE 3
DISSEMINATION
REPORT / ESSI WORKSHOP
END OF PHASE 4
因篇幅问题不能全部显示，请点此查看更多更全内容