http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
자료흐름도로부터 실행가능한 명세를 작성하기 위한 명세 언어의 설계 및 구현
함경수(K S. Ham),권용래(Y. R Kwon) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
본 논문에서는 자료흐름도가 표현하는 프로세스들 사이의 비동기적인 병렬 수행을 자연스럽게 기술할 수 있으며, Large Grain Data Flow 모델의 제약점을 해결할 수 있는 Message Passing 기법의 수행 모델을 제안하였다. 그리고 이러한 수행 모델에 기반을 두며 UNIX C Shell 상에서 실행되는 수행 가능한 요구 명세 언어 ESPL(Executable SPecification Language)을 설계하였고, 4.2 BSD UNIX 시스템에서 ESPL로 기술된 요구 명세의 수행을 위한 환경을 구현하였다.