• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
• /
• pp.247-249
• /
• 2002

본 논문에서는 휴대단말용 유무선 통합 브라우저를 위한 다중 문서 파싱 시스템을 제안한다. 현재 유무선 인터넷 서비스를 지원하기 위해 단일화된 표준 마크업 언어가 없다. 따라서, 유무선 통합 브라우저를 설계하려면 이들 각기 다른 마크업 언어의 지원을 생각하지 않을 수 없다. 이를 지원하기 위해 본 논문에서는 모든 마크업의 공통 분모 격인 파서를 설계하였으며, 각기 다른 사양의 휴대단말에 적합하게 표현하기 위해 그래픽 사용자 인터페이스 객체를 생성하는 방법을 제안하기로 한다. 이를 위해, 파서는 마크업 언어의 그래픽 기능을 휴대단말에서 지원 가능한 그래픽 사용자 인터페이스 객체 형태의 결과물을 만들어 내다. 이 결과물은 추후에 브라우저의 사용자 인터페이스 모듈과 연동될 것이다. 이러한 파싱 시스템은 브라우저로 하여금 모든 언어를 파싱할 수 있도록 하는 한편, 여러 언어 표준을 지원하려는 브라우저에 부담을 최소화시키는 기법이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.623-626
• /
• 2004

EVM(Embedded Virtual Machine)은 임베디드 시스템을 위한 가상기계로서 플랫폼에 독립적이며, 모바일 디바이스와 디지털 TV등에 탑재할 수 있는 핵심 기술로 다운로드 솔루션에서는 꼭 필요한 기술이다. SIL(Standard Intermediate Language)은 임베디드 시스템을 위한 가상기계의 표준 중간 언어로 객체지향 프로그래밍 언어와 순차 적인 프로그래밍언어를 모두 수용할 수 있다. SIL로 기술된 프로그램이 EVM 에서 실행되기 위해서는 EFF(Executable File Format)형태로 변환되어야 한다. 임베디드 시스템을 위한 실행 파일 포맷인 EFF 는 구조가 간결하며 확장이 용이한 특징을 지닌다. 또한 메타데이터와 표준 중간 언어가 서로 독립적으로 구성되어 분석이 쉽고 타입 체크가 편리한 구조이다. 본 논문에서는 가상기계를 위한 표준 중간 언어인 SIL 을 EVM 에서 실행 가능한 형태로 변환시켜주는 실행 파일 포맷 생성기(EFF Generator)를 설계하고 구현한다. 먼저, SIL 구조를 위한 SIL 문법을 설계하고 파서 생성기(PGS)를 사용하여 SIL 프로그램을 위한 어휘분석기와 구문분석기를 구현한다. 그리고 AST를 생성한 후. 포맷 생성기를 통하여 AST를 운행하며 EFF를 생성한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.469-471
• /
• 1999

컴포넌트 기반 개발 방법이 확산됨에 따라 소프트웨어 아키텍처는 핵심 기술중의 하나로서 각광받고 있다. 컴포넌트 기반의 아키텍처의 연구와 함께 정형적 아키텍처 기술을 지원하는 많은 아키텍처 기술 언어들이 제시되었다. 그러나, 메시지 전달 패러다임을 기술하고 분석할 필요가 있는 분산 시스템의 경우 기존의 아키텍처 기술 언어들은 이러한 기능의 지원이 부족하다. 본 논문에서는 메시지 전달 패러다임을 명확하게 기술할 수 있고, 이를 기반으로 적합성을 검사할 수 있으며, 일반 개발자들이 이용하기 편리한 시각적 아키텍처 기술 언어를 제시한다. 이를 통하여 분산 시스템을 설계하는 경우, 좀 더 정확한 분석과 정보를 제공할 수 있고, 시각적 언어로서 일반 개발자들이 좀 더 편리하게 아키텍처를 설계할 수 있게 된다.

• 한국산업정보학회논문지
• /
• 제2권2호
• /
• pp.11-19
• /
• 1997

이 논문에서 우리는 결함허용 실시간 소프트웨어 설계를 위한 명세언어를 제안한다. 특히, 현재 가장 인기있는 소프트웨어 기법인 후향 오류 복구를 위한 명세언어로 N-modular redunduncy 나 voted-pairs 등에서도 사용가능하다. 지금까지의 명세 언어로는 시스템의 정상 개발 차원에서의 명세에서만 가능했다. 복잡함을 피하기 위해 객체 단위로 시스템을 이끌며, 명세서 작성시 주요한 부시스템 단위로 이 방법을 적용하면 명세 기술에 따른 오버헤드를 감소시킬 수 있다.

• 한국통신학회논문지
• /
• 제18권2호
• /
• pp.239-249
• /
• 1993

본 논문은 터보 C언어에 대응하는 한글 C언어를 설계, 구현하였다. 한글C언어 명령어는 초 중 고등학생들이 이해하기 쉬운 용어로 선정하였으며 도스(DOS) 명령어와 오류 메시지도 한글화하였다.

• 한국산업정보학회:학술대회논문집
• /
• 한국산업정보학회 1997년도 추계학술대회 발표논문집:21세기를 향한 정보통신 기술의 전망
• /
• pp.383-394
• /
• 1997

이 논문에서 우리는 결함허용 실시간 소프트웨어 설계를 위한 명세언어를 제안한다. 특히, 현재 가장 인기있는 소프트웨어 기법인 후향 오류 복구를 위한 명세언어로 N-modular redunduncy나 voted-process pairs등에도 사용 가능하다. 지금까지의 명세 언어로서는 시스템의 정상 개발 차원에서의 명세만 가능했다. 그래서 본 논문에서는 시스템의 오류시에도 복구 가능한 논리 전달을 위한 명세를 제공한다. 복잡함을 피하기 위해 객체단위로 시스템을 이끌며, 명세서 작성시 주요한 부시스템 단위로 이 방법을 적용하면 명세 기술에 따른 오버헤드를 감소시킬 수 있다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.785-794
• /
• 1998

국제 표준 전문 위원회에서는 PREMO(PResentation Environment for Multimedia Object)의 언어 바인딩에서 제기된 문제점을 해결하기 위하여 언어바인딩의 표준화를 취소하고 어떤 특정 언어에 의존하지 않는 바인딩 모델의 연구가 진행중이다. PREMO의 바인딩 모델에서 그래픽스 바인딩 모델을 제시하기 위하여 PREMO에서의 객체 함수들을 분석하고, ？체-Z 기능명세에 대한 함수 작용과 바인딩 모델에 관련된 데이터 사상을 보인다. 본 논문에서는 그래픽스 언어 바인딩 함수들을 기반으로 하는 그래픽스 바인딩 모델 설계를 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (1)
• /
• pp.244-246
• /
• 2003

최근 언제 어디서나 네트워크에 접속할 수 있고, 모든 사물이 네트워크로 연결되어 있는 편재형 (Ubiquitous) 컴퓨팅에 관한 연구가 활발히 진행 중이다. 편재형 컴퓨팅을 위해서는 사용자 주변의 상황을 감지하는 상황인식(Context Awareness)과 감지된 상황에 대해서 알맞은 서비스를 하기 위한 미들웨어가 필요하다. 또한 이러한 지능적인 서비스를 하기 위해 상황을 편리하게 표현할 수 있는 체계적인 언어가 필요하나, 이러한 언어에 대한 연구는 미흡한 실정이다. 따라서 본 논문에서는 이러한 상황 인식 처리를 위한 상황 정의 스크립트 언어에 대해서 설계한다.

• 대한음성학회:학술대회논문집
• /
• 대한음성학회 2005년도 추계 학술대회 발표논문집
• /
• pp.219-222
• /
• 2005

본 논문에서는 한국어 TSS 시스템을 위한 언어처리부의 설계 및 구현 과정을 설명한다. 구현된 언어처리부는 형태소 분석, 품사 태깅, 발음 변환 과정을 거쳐, 주어진 문장의 가장 적절한 발음열과 각 음소의 해당 품사를 출력한다. 프로그램은 표준 C언어로 구현되어 있고, Windows와 Linux에서 모두 동작되는 것을 확인하였다. 수동으로 품사가 할당된 4.5만 어절의 코퍼스로부터 형태소 사전을 구축하였으며, 모든 단어가 사전에 등록되어 있다고 가정할 경우, 488문장의 실험 자료에 대해 어절 단위 오류율이 3.25%이었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.385-387
• /
• 2002

개발자는 품질 요구사항을 만족하는 소프트웨어를 만들 책임이 있기 때문에 최종 제품의 품질뿐만 아니라 중간 제품의 품질에도 관심을 갖는다. 이러한 이유에서 품질관리를 위해서는 소프트웨어 품질 테스팅이 필요로 하게 되는데 테스팅의 방법에는 크게 WhiteBox Testing과 BlackBox Testing으로 나누어 진다 본 논문에서는 C++ 언어에 적용할 수 있는 정적 분석 도구를 설계하였으며, 이 도구의 특징은 테스팅 도구에 테스터의 의도를 전달 할 수 있는 테스트 제어 언어를 정의하고, 또한 이 정의 언어를 사용하여 Worm 코트론 삽입하여 테스팅 할 수 있는 정적 태스팅 도구를 설계하였다.