통신 기술언어의 적합성 검증 시스템 - ESTELLE언어 중심으로 -

원유현

한국통신학회 전기통신학술연구과제

1991 .01

Estelle로 기술된 프로토콜의 적합성 검증에 관한 연구 ( A Study on the Conformance Test for Protocols Written in Estelle )

인소란 ,  원유헌

전자공학회논문지-B

1992 .11

형식기술언어 ESTELLE 프리프로세서 개발에 관한 연구

곽호영 ,  하수철 ,  인소란 외 1명

한국정보과학회 학술발표논문집

1987 .10

ESTELLE의 확장 : 동기적 전송방식을 통한 Estelle의 명시적인 병렬성 표현

서동수 ,  송주석

대한전자공학회 학술대회

1991 .06

Estelle의 확장 : 동기적 전송방식을 통한 Estelle의 명시적인 병렬성 표현 ( Explict Parallelism Description of Estelle With Synchronous Message Passing )

서동수 ,  송주석

대한전자공학회 학술대회

1991 .07

[特輯]Extended State Transition Language(ESTELLE)

인소란

정보과학회지

1988 .02

Estelle 사양의 그래픽 표현 에디터 구현

황정자 ,  전우직

한국정보과학회 학술발표논문집

1994 .10

통신시스템의 Estelle 서술의 검증을 위한 Reachability 그래프 구축

김성천 ,  김희곤 ,  이재용

한국정보과학회 학술발표논문집

1990 .10

ESTELLE 명세에서 VHDL 명세로의 변환 방법론

이미경 ,  이익섭 ,  김선규 외 2명

멀티미디어학회논문지

2000 .04

C 언어 학습을 위한 학습 지원 시스템 설계 고찰

이경호

한국컴퓨터정보학회 학술발표논문집

2013 .07

자연언어와 인공언어

이기식

소프트웨어세계

1987 .01

Estelle로 표현된 프로토콜의 테스트 슈트 생성에 관한 연구

우성희 ,  오병호 ,  이상호

한국정보과학회 학술발표논문집

1994 .04

언어 능력

강신호

기계저널

2010 .12

자연 언어 명세서를 이용한 자동 프로그래밍 시스템

김태용 ,  인현철 ,  이정현

한국정보과학회 학술발표논문집

1995 .04

한국어의 Construction Grammar 구현방안 연구

장세인 ,  박충식 ,  이호준 외 1명

한국지능정보시스템학회 학술대회논문집

2013 .11

사례를 통한 OOP관점에서의 C++ 언어의 분석

김기범 ,  강병욱

한국정보과학회 학술발표논문집

1993 .10

자연언어 처리 기술

김영택

전자공학회지

1987 .06

[特輯]하드웨어 기술 언어

원유헌

정보과학회지

1988 .02

프로그램 추상화를 적용한 언어 변환 도구에 관한 연구

강태영 ,  안기호 ,  이명재 외 2명

한국정보과학회 학술발표논문집

1993 .10

언어 장애 진단을 위한 그림 설명글의 언어학적 특성 분석

이용재 ,  민혜진 ,  박종철

한국정보과학회 학술발표논문집

2011 .06