Key points are not available for this paper at this time.
우리는 사양 문서의 문장에 대한 의미 분석을 수행하여 자연어 사양으로부터 명세를 생성하는 접근 방식을 제시합니다. 자동 명세 생성을 위한 다른 기술들은 정적 또는 동적 분석을 수행하여 설계 구현에서 발견된 정보를 사용합니다. 우리의 접근 방식은 사양 문서로부터 직접 명세를 생성하므로 구현의 버그가 명세에 반영되지 않습니다. 우리의 접근 방식은 각 문장을 구문 분석하고, 중요 구문(예: 함의의 선제 조건과 결과)에 연관된 서브트리를 찾기 위해 결과 구문 분석 트리를 검사합니다. 우리는 이러한 서브트리 내의 정보를 사용하여 우리가 제시하는 명세 템플릿 세트를 채우기 위해 공식 명세를 생성합니다. 실제 사양 문서에서 가져온 일련의 문장을 사용하여 우리의 접근 방식의 효과를 평가합니다.
Zhao et al. (Fri,)는 이 질문을 연구했습니다.