이해안가는 개념 및 한번더 보면 좋을 개념 모음집 - 1과목\*요구 사항 명세기법 정형 명세법수학적 기반/ 모델링 기반Z, VDM, Petri-Net(모형기반)CSP, CCS, LOTOS(대수적방법)시스템 요구특성이 정확하고 명세가 간결하다. 명세와 구현이 일치.그러