http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
신재승(Jae Sheung Shin),이금석(Keum Suk Lee) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.2
본 논문은 효율적이고 신뢰성 있는 사용자 인터페이스의 명세작성을 위해 수학적인 기호와 논리에 기반을 둔 명세의 작성과 검증기법을 사용하는 정형적 방법을 도입하였다. 본 논문에서 제안한 시스템은 그래픽 명세방식을 이용한 사용자 인터페이스의 요구사항 작성을 지원하며, 작성된 요구사항을 정형적 명세언어인 Z 언어로 변환하여 생성하고, 생성된 명세가 초기의 요구사항과 일치함을 검증하기위해 이 명세를 시뮬레이션한다. 이러한 사용자 인터페이스 명세 시스템의 사용으로, 구현단계에서 발생 가능한 오류와 구성요소의 일관성의 결어로 인해 발생 가능한 오류를 명세 작성단계의 초기에 발견할 수 있다.