• 정보처리학회논문지A
• /
• 제11A권3호
• /
• pp.149-156
• /
• 2004

소프트웨어가 대형화되고 고도화되어 감에 따라 프로그램 개발 환경에서 프로그래밍 생산성과 효율성을 향상시키기 위해 에디팅. 컴파일링, 디버깅 및 실행을 하나의 통합 환경으로 구축하는 것이 필요하다. 이러한 환경에서 중요한 도구가 되는 것이 점진 번역기이다. 본 논문에서는 소프트웨어의 재 사용성과 생산성을 향상시키기 위해, 에디팅, 디버깅, 점진 해석 및 실행을 하나의 통합 환경으로 구성하여 보다 친근하고 편리하게 사용할 수 있는 사용자 인터페이스를 제공하는 소프트웨어 개발을 위한 통합 점진 해석 시스템을 구축하고자 한다. 객체 지향 언어인 IMPLO(IMPerative Language with Object) 언어를 EBNF 표기법으로 정의하고 이 언어에 대한 점진 해석기를 구현한다. 점진 해석기를 구현하기 위해 정적 의미론을 표현하는 속성 문법을 확장하여 동적인 의미론을 표현할 수 있는 작용 식을 제시한다. 동적 의미 분석 방법에 의해 점진 해석을 수행하고 에디터와 디버거를 가진 통합 점진 해석 시스템을 Lex와 Yacc을 이용해서 C 언어로 프로그래밍하고 SUN에서 X로 구현하였다. 예제 프로그램들의 점진 실행 시간을 전체 프로그램의 실행 시간과 비교했을 때 약 50％ 정도의 속도 개선 효과를 거둘 수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2667-2670
• /
• 2005

In this Paper is analyzed about FMS(Fieldbus Message Specification) service of FOUNDATION Fieldbus and designed using of UML(Unified Modeling Language). The FMS provides a number of services for reading, writing, and otherwise accessing objects. The FOUNDATION Fieldbus protocol is object oriented. The information in the devices is accessed in the form of objects. In FMS, the objects for configuring device and strategy in a node are listed in an object dictionary(OD). Each object is identified by an index. For example, every function block and every parameter has an index.

• 대한전자공학회논문지
• /
• 제27권8호
• /
• pp.1231-1238
• /
• 1990

Though the studies on object-oriented software design which software component corresponds to phrases appearing in sentences of natural language have been going on, the design methodology has not been clearly set up yet. In this paper, the module structure of good quality was found not only by nouns that indicate class of object but also by subdividing sentences. I also suggested objected-oriented methodology observing the interdependency between objects and their relationships, and assessed the control problem of lift as an example.

• 대한전자공학회논문지
• /
• 제27권12호
• /
• pp.1825-1833
• /
• 1990

This paper proposes an efficient algorithm that constructs 3-dimensional solid object from 3 orthogonal views. This algorithm inputs vertex and edge information of 3 orthogonal views and generates 2 dimensional surfaces, 3 dimensional vertices, edges and surfaces and then compares 2 dimensional projections of 3 dimensional surfaces with surfaces from othorgonal views. This algorithm is useful for CAD system, 3 dimensional scene analysis system and object modeling for real-time animation and has been implemented in C language on IRIS workstation. The effectiveness of this algorithm is shown by examples of aircrafts' models.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.439-442
• /
• 2002

컴포넌트 명세는 컴포넌트와 클라이언트 사이의 계약으로 볼 수 있다. 하지만 현재의 컴포넌트 명세는 인터페이스 명세 언어(Interface Definition Language)와 정확성이 결여된 자연어로 작성된 명세에 의존하고 있다. 이러한 명세는 모호성, 불완전성, 모순등을 포함할 수 있다. 따라서 컴포넌트 명세는 이러한 점을 충분히 고려하여 진행되어야 하는데 본 연구에서는 EJB 컴포넌트의 코드 템플릿을 반영하여 요구사항을 Object-Z로 명세하고 이러한 명세로부터 컴포넌트를 구현하는 단계를 제시하였다.

• 대한원격탐사학회:학술대회논문집
• /
• 대한원격탐사학회 2003년도 Proceedings of ACRS 2003 ISRS
• /
• pp.455-457
• /
• 2003

Diverse researches are working moving objects. The most important activities in a moving object database system are query and analysis of spatio -temporal data providing decision-making and problem solving support. Traditional spatial database query language and tools are inappropriate of the real world entities. This paper presents a spatio-temporal query and analysis tool with visual environment. It provides effective, interactive and user-friendly as well as statistic analysis. The moving objects database system stores plentiful moving objects data and performs spatio-temporal and nonspatio-temporal queries.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.1-12
• /
• 2004

제 7차 컴퓨터교과 교육과정은 소프트웨어 활용 부분에 치중되어 컴퓨터과학에 관한 원리교육이 이루어지지 못하고 있다. 한편, ACM K-12 컴퓨터과학 교육과정 모델에 관한 보고서에서는 현재의 컴퓨터교육이 그릇된 방향이며 컴퓨터과학 중심의 컴퓨터교육을 위해서 프로그래밍언어 교육을 통한 원리교육의 중요성을 강조하고 있다. 본 논문에서는 프로그래밍 체험학습을 위한 객체지향 기반의 새로운 교육용프로그래밍언어인 두리틀(Dolittle)을 소개한다. 두리틀은 간결한 구문과 한국어와의 대응성, 인크리멘탈 방식의 프로그래밍, 수치, 문자열, 배열과 같은 알고리즘과 구조화, 텍스트 위주의 프로그래밍 등의 설계방침을 적용한 언어이다. 중학생을 대상으로 실제 수업에 적용해 보고 학습효과를 분석한 결과, 객체지향기반이지만 클래스나 상속 등의 개념을 모르고도 활용 가능한 교육용프로그래밍언어라는 것을 확인할 수 있었다. 또한 객체와 메소드 활용을 통하여 프로그래밍 결과를 쉽게 확인할 수 있고 오류 수정이 용이하므로, 학생들의 높은 흥미도를 유지하면서 학업성취도를 향상시키고 차후 학습으로의 연계가 수월하였다.

• 정보처리학회논문지A
• /
• 제10A권6호
• /
• pp.605-614
• /
• 2003

본 논문에서는 멀티패러다임 프로그래밍의 결합 방식(compositional approach)[20]을 프로그래밍 언어에 적용한 새로운 형태의 멀티패러다임 언어인 Argos를 소개한다. Argo는 자바 언어의 수퍼셋이고, Argos 언어의 메소드를 정의하는 문법은 다른 언어의 문법을 사용할 수 있는 확장점을 가지고 있다. 따라서 Argos 클래스의 각 메소드는 자바, C, Prolog, Python 등의 여러 프로그래밍 언어들 중에서 하나를 선택해서 구현할수 있도록 허용함으로써 객체지향과 멀티패러다임 프로그래밍을 동시에 지원한다. Argos의 메소드는 기존의 프로그래밍 언어로 작성할 수 있기 때문에 다른 멀티패러다임 언어에 비해 상대적으로 배우기 쉽고, 라이브러리 재사용성도 높은 장점을 가지고 있다. Argos 컴파일러는 입력 프로그램 을 사용된 언어에 따라 분할하고, 분할된 메소드 코드를 해당 언어의 처리기에 전달해서 컴파일하는 DCO(delegating compiler object) 모델[28,29]에 따라 구현된다.

• 정보처리학회논문지B
• /
• 제14B권1호
• /
• pp.23-32
• /
• 2007

최근 다양한 분야에서 폭넓게 활용되고 있는 XML 문서는 유연하고도 개방적인 특성으로 인해 정보교환이나 전송을 위한 수단으로 널리 이용되고 있다. 한편 XML 문서를 위한 시각적, 직관적 질의 언어인 XML-GL은 질의에 대한 의미와 결과 문서의 구조를 시각적으로 표현할 수 있기 때문에 XML 문서에 대한 구조 검색과 정보의 공유가 용이하다. 그리고 UML은 정해진 표기법과 다양한 다이어그램을 이용하여 객체지향 분석과 설계를 위한 도구로 사용되고 있다. 본 논문은 UML 클래스 다이어그램을 이용한 XML-GL 질의 모델링 방안을 제안한다. 또한, 모델 구성요소에 대한 제약사항을 정확하게 묘사하기 위하여 객체제약언어(Object Constraint Language)로 정의하였다. 이를 통해 XML 문서를 객체지향 데이터로 변환하여 저장/관리할 수 있으며, UML 클래스 다이어그램을 이용한 질의 모델링 방법을 적용하여 보다 효율적으로 XML 문서를 검색할 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.