• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.137-138
• /
• 2022

소스 코드 식별자의 이름을 잘 정하는 것은 소프트웨어 엔지니어링에서 중요한 문제로 다루어지고 있다. 프로그램 엔티티의 의미있고 간결한 이름은 코드 이해도에 중요한 역할을 하며, 소프트웨어 유지보수 관리 비용을 줄이는 데에 큰 효과가 있다. 이러한 코드 식별자 중 평균적으로 가장 복잡한 식별자는 '메소드 이름'으로 알려져 있다. 본 논문에서는 메소드 내용과 일관성 있는 적절한 메소드 이름 생성을 자연어 처리 태스크 중 하나인 '추상적 텍스트 요약'으로 치환하여 수행하는 트랜스포머 기반의 인코더-디코더 모델을 제안한다. 제안하는 모델은 Github 오픈소스를 크롤링한 Java 데이터셋에서 기존 최신 메소드 이름 생성 모델보다 약 50% 이상의 성능향상을 보였다. 이를 통해 적절한 메소드 작명에 필요한 비용 절감 달성 및 다양한 소스 코드 관련 태스크를 언어 모델의 성능을 활용하여 해결하는 데 도움이 될 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.484-486
• /
• 1998

실시간 객체 지향 모델은 객체 지향 개념에 실시간 특성을 추가한 시스템 모델 개념이다. 이는 실시간 시스템에 적합한 모델을 제시하고 있다. 그러나, 대부분의 실시간 객체 지향 모델이 실시간 객체의 실시간 특성에 관련된 시간 명세를 전문자의 경험에 많이 의지하고 있다. 그리고, 실시간 자료, 메소드 및 메시지를 명확하게 구분하고 있지 않을 뿐 아니라 이들에 대한 시간 명세 표현도 부족한 형편이다. 따라서, 하나의 틀안에 실시간 객체의 실시간 특성을 모두 표현하고 이를 검증할 수 있는 방법이 필요하다. 본 논문에서는 실시간 객체의 실시간 특성을 표현하기 위해 실시간 자료 및 메소드 순차 차트와 시간 제약 사항 그래프를 제시하여 실시간 특성의 표현과 검증을 한다. 순차 차트는 실시간 객체의 실시간 자료, 메소드 및 메시지에 대한 시간 명세를 시간 구동 메소드 단위로 하나의 차트에 나타낸다. 시간 제약 사항 그래프는 순차 차트로부터 유추되어 실시간 메소드의 마감시간과 실시간 자료의 최대 유효 기간에 대한 시간 명세가 올바른지 그래프를 이용하여 검증할 수 있는 방법을 제시한다.

• Education of Primary School Mathematics
• /
• v.20 no.3
• /
• pp.205-224
• /
• 2017

A model method has been known as the main characteristic of Singaporean elementary mathematics textbooks. However, little research has been conducted on how the model method is employed in the textbooks. In this study, we extracted contents related to the model method in the Singaporean elementary mathematics curriculum and then analyzed the characteristics of the model method applied to the textbooks. Specifically, this study investigated the units and lessons where the model method was employed, and explored how it was addressed for what purpose according to the numbers and operations. The results of this study showed that the model method was applied to the units and lessons related to operations and word problems, starting from whole numbers through fractions to decimals. The model method was systematically applied to addition, subtraction, multiplication, and division tailored by the grade levels. It was also explicitly applied to all stages of the problem solving process. Based on these results, this study described the implications of using a main model in the textbooks to demonstrate the structure of the given problem consistently and systematically.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.1907-1920
• /
• 1997

In this paper, we present integrated model of postal business that would be newly organized. The integrated model is developed through four phase. First, postal business is analyzed by three parts;collection, transportation and delivery. Second, the modeling criteria are developed that will be used for designing integrated postal business model. Third, object-oriented concepts are used by the steps of postal business modeling criteria captured. Finally, methods applied to developed model are grouped according to their function. Also, active-based mechanisms such as trigger and constraints are developed, and knowledge-based mechanisms such as inference are developed. These selected methods and attributes are encapsulated into objects. These constitute an object-active-knowledge based database model. Finally, Operational Scenario and Service Scenario are composed for real application according to proposed O-A-K model.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.388-390
• /
• 2002

Java 2 Enterprise Edition(J2EE)의 등장으로 국내.외 수많은 기업들은 J27E의 모델에 맞게 엔터프라이즈 어플리케이션을 개발하고 있다. 이것은 J2EE의 핵심 기술 요소인 Enterprise JavaBeans(EJB)의 컴포넌트모델이 분산 객체 어플리케이션의 개발 과정을 간단하게 해주기 때문이다. EJB 어플리케이션은 여러 개의 빈들로 구성된다. EJB 어플리케이션의 서비스는 클라이언트의 요청에 따른 빈의 비즈니스 메소드의 실행으로 이루어진다. 따라서 EJB 어플리케이션의 성능은 클라이언트의 요청에 따라 처리하는 빈에서의 측정과 요청을 처리하는 비즈니스 메소드의 측정에 매우 중요하다. 본 논문에서는 EJB 어플리케이션에서 클라이언트의 서비스 요정에 따라 수행하는 빈 단위에서의 성능 메트릭을 제시한다. 클라이언트의 서비스 요청은 요청을 받은 번에서의 메소드 실행으로 나타난다. 메소드의 유형을 분류하고, 각 유형에 따른 메트릭을 제시한다.

• Journal of KIISE:Software and Applications
• /
• v.28 no.6
• /
• pp.414-428
• /
• 2001

객체 지향 설계를 재구조화하기 위해서는 메소드와 속성들 사이의 관계를 파악해야 한다. 메소드와 속성들이 동일한 클래스에 속하는지를 추론하는 과정은 클래스 자료 참조 분석과 메소드 호출 분석에 의존한다. 최근의 많은 소프트웨어들은 규모가 방대하고 복잡하여 개발자가 도구를 사용하지 않고 수작업으로 설계를 재구조화기 어려우며 또한 너무 많은 시간과 노력이 요구된다. 본 논문에서는 메트릭을 이용하여 객체 지향 설계를 자동적으로 재구조화하는 방법을 기술한다. 먼저 메소드, 속성, 클래스, 그리고 그들의 관계츨 추상화된 모델로 표시한다. 이 모델을 기반으로 객체 지향 설계를 정량적으로 측정할 응집도와 결합도 메트릭을 정의한다. 본 논문의 메크릭은 재고조화 과정 동안에 여러 다른 설계들을 효율적으로 비교하기 위한 유용한 기준을 제공한다. 기본 재구조화 행위들과 그 의미(semantics)를 정의하고 메트릭과 행위들을 사용하여 설계를 자동적으로 재구조화한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.522-524
• /
• 1999

절차지향 소프트웨어를 객체지향 소프트웨어로 변환하는 여러 가지 방법이 존재한다. 프로그램을 변환하기 위하여 일반적으로 함수, 변수와 자료형들 간의 관계를 이용한다. 이들간의 관계성을 이용하면 결과로서 객체 후보가 생성된다. 생성된 객체 후보와 영역 전문가에 의하여 생성된 영역 모델을 비교하여 두 모델간의 유사성을 측정하여야 한다. 본 논문에서는 클래스의 시그너처(클래스 이름, 속성의 이름, 속성의 자료형, 메소드 이름, 메소드의 리턴형, 메소드 파라미터의 자료형)을 이용하여 클래스와 객체 후보의 유사도를 측정하고, 측정된 유사도의 평균값을 이용하여 객체 후보군의 유사도를 측정한다. 기존의 연구 방법과는 다르게 n개의 클래스와 m개의 객체 후보사이의 구문적 측면의 유사도 측정뿐만이 아니라 의미적 측면의 유사도를 측정하는 방법을 제시하여 최적합 객체 후보군을 추출하도록 하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.3
• /
• pp.483-491
• /
• 2001

In this paper, we design and implement of the remote method connection system using Java RMI in the distributed computing system. In pursuing this goal, we implement the dynamic method connection interface and API. And then we describe the dynamic memory management routine.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.318-322
• /
• 2008

최근에는 임베디드 시스템의 규모가 점차 커지고, 시스템이 노드단위로 분산되어 협업을 통한 작업을 하는 경향이 많아져, 시스템 디자인에 객체지향적인 패러다임이 필요하게 되었다. TMO 모델은 90년대 초반부터 U.C Irvine의 Kane.Kim 등에 의해 연구되고 있는 실시간 객체모델이다. TMO 모델은 SvM과 SpM의 두가지 메소드 타입으로 실시간 클럭에 의한 수행이나, 이벤트 발생에 의한 메소드 수행을 지원함으로써 분산 실시간 시스템의 설계를 용이하게 해준다. 본 논문에서는 TMO 모델에서의 향상된 채널 기반의 객체 간 통신 구조인 RMMC를 MicroC/OS-II에 맞게 적용하는 것에 대해 제안하고자 한다.

• Annual Conference of KIPS
• /
• 2008.05a
• /
• pp.593-596
• /
• 2008

최근에는 임베디드 시스템의 규모가 점차 커지고, 시스템이 노드단위로 분산되어 협업을 통한 작업을 하는 경향이 많아져, 시스템 디자인에 객체지향적인 패러다임이 필요하게 되었다. TMO 모델은 90년대초반부터 U.C Irvine의 Kane.Kim 등에 의해 연구되고 있는 실시간 객체모델이다. TMO 모델은 SvM과 SpM의 두가지 메소드 타입으로 실시간 클럭에 의한 수행이나, 이벤트 발생에 의한 메소드 수행을 지원함으로써 분산 실시간 시스템의 설계를 용이하게 해준다. 본 논문에서는 적은 용량의 실시간 운영체제인 MicroC/OS-II에 TMO 모델의 적용 방안을 제안한다.