Automatic Consistency Checking
Requirements
database
Requirements
in a formal language
Requirements
problem report
Requirements
processor
Requirements
analyzer
이전 슬라이드
다음 슬라이드
첫 슬라이드로 이동
그래픽 버전 보기