반응형
모델 체킹
시스템추상화모델이 요구속성 만족여부를 검사하는 논리기법
필요성
구성(Model, 방법, 결과)
반응형
'T-prj > 1.SW공학' 카테고리의 다른 글
| [소공87]발주 프로세스 각 단계별 고려사항 (0) | 2012.08.20 |
|---|---|
| [소공85]상태 폭발 문제 (0) | 2012.08.20 |
| [소공84]소프트웨어 정형기술 검토(Formal Technical Review) (0) | 2012.08.20 |
Recent Comment