http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
정철주(Jeong Cheol Joo),김철홍(Kim Cheol Hong),박원규(Park Won Kyu),정연대(Chung Yeon Dae) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.2B
본 논문에서는 객체지향 방법론인 OMT[10]를 이용하여 얻어진 분석 모형을 설계, 구현 및 검증 작업에 자연스럽게 연계시켜 주는 대화형 개발 환경을 제시한다. 이를 위해 세가지 분석 모형은 OMT 표기법의 변형인 OMT±[7]으로 변환되며 설계단계에서 Standard ML[8] 프로그램으로 변환된다. 이 프로그램들은 역시 Standard ML로 작성된 검증 프로그램을 통해 검증될 수 있고 ML 인터프리터 상에서 사용자에 의해 직접 조회, 검증, 조작될 수 있다.
오영배(Young Bae Oh),김강호(Kang Ho Kim),정연대(Yeon Dae Chung) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅳ
실시간 분산 시뮬레이션 응용을 개발할 때 시뮬레이션 대상의 시간적 행동 및 분산 노드간 상호작용의 복잡성 때문에 모델 개발에 어려움이 있다. 그러나 실시간 분산 객체(RTO)를 기반으로 하여 시뮬레이션 모델을 설계할 때 모델의 시간적 행동의 표현이 자연스러워지고 설계의 명확성을 가져다 준다. 본 연구에서는 RTO 모델을 이용하여 압연공정 제어시스템 실시간 시뮬레이션 모델을 설계 구현 하였다. 구현 과정에서 RTO 접근 방법이 설계의 자연스러움, 설계 명세의 단순 명확화, 시간적 행동 표현의 복잡성 제거, 객체의 노드 분산 용이성등 많은 장점을 가지고 있음을 확인 하였다. 이 방법은 보다 복잡하고 규모가 큰 실시간 분산 시뮬레이션에 효과적으로 적용할 수 있다.
조규석(Kyu-Suk Cho),권기현(Gi-Hwon Kwon),오영배(Young-Bae Oh),정연대(Yeon-Dae Chung) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.1A
대수적 명세는 추상 자료형을 정의하는데 가장 많이 사용되는 방법 중에 하나이다. 그러나 추상 자료형을 대수적 명세로 명세한다 할지라도 모두 정확한 것은 아니다. 대수적 명세의 정확성을 확신하기 위하여 텀 개서 시스템을 이용된다. 본 논문에서는 대수적 명세를 입력 받아서 텀을 평가하거나 또는 새로운 등식을 유도할 수 있는 텀 개서 시스템을 Java 언어로 구현하였다.
I - CASE 환경을 위한 IRDS 데이타 모델 설계
이헌기(Heon-Ki Lee),김강호(Kang-Ho Kim),정연대(Yeon-Dae Chung) 한국정보과학회 1996 한국정보과학회 학술발표논문집 Vol.23 No.2B
소프트웨어 개발의 생산성 및 품질을 증진시키기 위해 소프트웨어 공학 환경(Software Engineering Environment, SEE)을 지원하는 시스템이 필요하다. 현재 SEE는 CASE 도구들과 정보저장소를 통합하여 통합 CASE 도구 환경으로서의 특징을 갖고 있다. 그 정보저장소는 서술되는 모든 정보를 단일화된 형태로 제공함으로써 통합 CASE 도구 환경의 가장 중요한 부분이다. 본 논문은 도구 통합의 데이타 통합(Data Integration) 측면에서 프로세스 방법론 모델 및 데이타 방법론 모델들을 정보 정의, 정보 통합, 정보 교환, 그리고 도구 통합을 위한 통합 CASE 메타 모델을 제안한다. 그 방법론들의 통합 모델에 의해서, 통합 CASE 도구 환경에서 필요로 하는 각종 방법론들의 정보 저장, 정보 공유, 정보 교환, 정보 관리, 그리고 도구 통합을 제공할 수 있는 IRDS(Information Resource Dictionary System)의 데이타 모델을 정의한다.