(전략) 2. 정식으로 요구 사항 명세에 접근 부터 Z (저건, 1988), VDM (존스, 1986)와 같은 몇몇 공식적인 요구 사항 명세 방법 및 라취 (Guttag 및 Horning, 1993) 순차적으로 시스템의 동작을 지정하는 데 중점을 둡니다. 이러한 접근 방법, 관계, 및 기능 상태 및 사용 중고 - 조건 및 게시물 - 상태 전환을위한 조건을 설명하기 위해 세트와 같은 풍부한 수학적 구조를 사용합니다. 이러한 표기법 표현력이 풍부한 반면, 응용 프로그램이 전문가의 리뷰를 읽고 쓰기 어려운 수있는 표기법을 찾을 수있습니다. SCR (Heninger, 1980) 80 년대 초반 진짜 - 시간의 임베디드 시스템 소프트웨어 요구 사항을 지정할 도입되었다. 최근 두 가지 기능 및 비 - 기능적 통합까..