http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Assertion 기법의 소프트웨어 요구 분석 과정에의 응용 연구
차신(S. Cha),신윤식(Y.S. Shin),권용래(T.R. Kwon) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
본 연구에서는 요구 명세의 신뢰성을 제고시키기 위하여 요구 분석 과정에 assertion 기법을 도입하였다. assertion 언어는 개체-관계(entity-relation) 모델과 술어 논리 연산(predicate calculus)에 기초하여 설계되었으며, 명세 언어에 assertion 기능을 추가시키는 형태로 고안되었다. 이 assertion 언어를 실행하기 위한 assertion 처리기를 구현하여 기존의 요구 분석 시스템에 포함시킴으로써 이 방법의 실용 가능성을 보였다.