• The KIPS Transactions:PartA
• /
• v.10A no.1
• /
• pp.75-81
• /
• 2003

Many abstraction techniques are introduced in programming languages in order to facilitate the development, maintenance and extension of softwares. But several concepts and terms related to abstraction have not been uniformly defined and have been explained differently. Expecially in object-oriented paradigm strongly based on abstraction common consensus was not derived. In this paper, we analyse procedural abstraction, propose the taxonomy of procedural abstraction and show that procedural abstraction contains the concept of abstraction on abstraction in addition to the transformation of procedures into abstraction. We also explain polymorphism in the view of abstraction. These analysis and consideration will make it possible to understand procedural abstraction more intensively.

• The KIPS Transactions:PartA
• /
• v.11A no.1
• /
• pp.89-96
• /
• 2004

Abstraction is an important concept applied widely to variables, functions, complex data, abstract data types, classes and polymorphism in programming languages. However, the concept of abstraction has been considered as ambiguous and explained differently because it is not defined clearly and uniformly. In this paper, we analyse many aspects of abstraction in programming languages, and propose the taxonomy of abstraction. We classify abstraction according to the mechanism of formation into 4 categories such as napping abstraction, bundling abstraction. integrating abstraction and extending abstraction. We also consider many concepts related closely to abstraction such as functions, abstract data types, objects, encapsulation and classes in the view of abstraction. These analysis and consideration will make it possible to explain uniformly various aspects of abstraction which have been treated individually and differently, and to understand the meanings, necessity and importance of abstraction more intensively.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.359-362
• /
• 2002

본 논문에서는 문장추상화와 문장간 개연적 연결상황을 활용한 문단 기준의 문서요약을 생각하였다. 구상한 문단기준 문서요약 방법론은 다음과 같은 절차로 구성되어 있다: (1) 문단의 문장들을 추상화시킨다, (2) 문장구성성분들의 문장간 개연적 연결상황을 확인한다, (3) 연결집중도가 상대적으로 높은 문장을 문단의 화제를 담고 있는 것으로 인정한다. 본 논문에서는 이 과정에서 문장추상화에 필요한 구문분석기와 온톨로지를 구체화하였고, 문장추상기로 설화문장 추상화를 하였다. 그 후 개연성 규칙을 적용하여 문단의 주제문을 선별하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10c
• /
• pp.385-389
• /
• 2007

전통적인 디지털 박물관 시스템은 전시를 조직화하는 단순한 기능에 촛점을 두고 있으며 설계 패턴은 전시 항목들에 기반을 두고 있다. 이것의 생명주기는 직선적이고 피드백과 재사용성이 부족하여 생명 주기에서 지식 처리를 다루는 것에 대해서는 관심을 가지지 않고 있다. 하지만 현대 디지털 박물관은 급진적으로 증가하는 정보를 다루어야 하고, 디지털 감상, E-학습과 관련 연구를 위해 통합된 기능을 제공해야 한다. 이러한 요구사항들은 디지털 박물관에서 객체들이 고수준으로 추상화되고, 생명주기도 반복적이며 재사용이 가능하도록 요구하고 있다. 그러므로 체계적으로 통합된 지식처리 과정들이 디지털 박물관에서 정보시스템을 다루기 위해서 절대적으로 필요하게 되었다. 본 논문에서는 현대 디지털 박물관 시스템에서 새로운 생명주기를 제안한다. 지식 흐름(knowledge flow)은 디지털 박물관 생명주기에 걸쳐서 모든 정보 흐름으로부터 고수준으로 추상화된 객체이다. 지식 흐름을 따라가게 되면 이 특별한 생명주기는 정의된 시금석으로서 다차원의 분수 모델(Fountain Model)과 비슷하며, 이 생명주기에서 지식처리 과정은 각 차원에서 다른 강조점을 지닌 계층으로 잘 나누어진다. 또한 분산된 지식 처리 절차를 체계적이고 재사용할 수 있도록 통합하기 위한 지식 기반 소프트웨어 공학 접근방법을 제공한다.

• Journal of The Korean Association of Information Education
• /
• v.23 no.6
• /
• pp.639-653
• /
• 2019

The purpose of this study is to design an instructional framework and cognitive learning environment for AI education based on computational thinking in order to ground the theoretical rationale for AI education. Based on the literature review, the learning model is proposed to select the algorithms and problem-solving models through the abstraction process at the stage of data collection and discovery. Meanwhile, the instructional model of AI education through computational thinking is suggested to enhance the problem-solving ability using the AI by performing the processes of problem-solving and prediction based on the stages of automating and evaluating the selected algorithms. By analyzing the research related to the cognitive learning environment for AI education, the instructional framework was composed mainly of abstraction which is the core thinking process of computational thinking through the transition from the stage of the agency to modeling. The instructional framework of AI education and the process of constructing the cognitive learning environment presented in this study are characterized in that they are based on computational thinking, and those are expected to be the basis of further research for the instructional design of AI education.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.04a
• /
• pp.457-460
• /
• 2014

클라우드 컴퓨팅은 IT 자원의 효율적인 관리와 비용 대비 양질의 서비스 제공을 위한 새로운 패러다임으로써, 국내외의 기업뿐만 아니라 많은 사용자들에게 주목 받고 있다. 하지만 관련 시장의 빠른 성장과 함께 다양한 사이버 범죄에 노출될 수 있는 위험이 높아졌음에도 불구하고, 클라우드 컴퓨팅에 대한 디지털 포렌식은 실질적인 역할을 수행하기에 아직 미비한 실정이다. 클라우드 컴퓨팅은 증거 데이터가 물리적으로 분산되어 있고, 자원이 가상공간에 존재할 수 있기 때문에 기존의 디지털 포렌식 수사와는 다르게 접근해야 한다. 이에, 본 논문에서는 추상화된 클라우드 계층에 따른 기존 포렌식 절차 상의 데이터 수집 방법에 관한 한계를 분석하고, 확보한 증거 데이터의 신뢰성 보장 및 다양한 클라우드 환경에 보다 유연하게 적용할 수 있는 디지털 증거 수집 절차를 제안한다. 해당 절차는 클라우드 구성 요소들 중 물리적인 자원들을 가상화하여 논리적으로 구성할 수 있도록 하며, 가상화된 자원들을 서비스 목적에 따라 폭넓게 활용할 수 있도록 관리 체계를 제공해주는 클라우드 플랫폼을 기반으로 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.592-594
• /
• 2001

본 논문은 절차지향 소프트웨어로부터 클래스와 상속성을 추출하기 위한 방법론을 제안한다. 본 논문에서 제안한 방법론은 모든 경우의 클래스 후보군과 그들의 상속성을 생성하여 클래스 후보군과 영역 모델 사이의 관계성과 유사 정도를 가지고 최고 또는 최적의 클래스 후보군을 선택하는데 초점을 둔다. 클래스와 상속성 추출 방법론은 다음과 같은 두드러진 특징을 가지고 있다: 정적(속성)과 동적(메소드)인 클러스터링 방법을 사용하고, 클래스 후보군의 경우는 추상화에 초점을 두며, m개의 클래스 후보와 n개의 클래스 후보 사이의 상속 관계의 유사도 측정 즉, 2차원적 유사도 측정은 m개의 클래스 후보와 n개의 클래스 후보 사이의 전체 그룹에 대한 유사도를 구하는 수평적 측정과 클래스 후보군들에서 상속성을 가진 클래스의 집합과 영역 모델에서 같은 클래스 상송성을 가진 클래스 집합사이의 유사도를 위한 수직적 측정방법이 있다. 이러한 방법론은 최고 또는 최적의 클래스 후보군을 선택하기 위해 제공학 전문가에게 광범위하고 통합적인 환경을 제시하고 있다.

• The KIPS Transactions:PartD
• /
• v.13D no.5 s.108
• /
• pp.731-740
• /
• 2006

WIPI is developed by KWISF(Korea Wireless Internet Standardization Forum) and a wireless internet standard platform adopted by TTA. It needs the certification Process for standard specification in order to confirm interoperability. The WIPI is composed of the HAL, the Runtime Engine, and APIs(WIPI-C, WIPI-Java). nl applications are implemented through WIPI APIs that can be finished by themselves or provided essential functions from runtime engine or HAL. Therefore it needs to certify where the problems occur when errors occurred in a application. In this paper we propose the PCT that certifies a WIPI platform's functionality and APIs and the HCT that certifies HAL APIs. Because the PCT reports the final certification results for the platform it is impossible to know where the problems occur when it fails to certify platform. So, it needs to certify the HAL regardless of platform certification.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1689-1692
• /
• 2003

최근 기업의 시스템은 비즈니스 프로세스가 복잡하고 다양해짐에 따라 레가시 시스템은 이러한 기업의 비즈니스 프로세스를 수용하기 위한 새로운 기술적 접근을 필요로 하고 있다. 그러나 새로운 기술에 유연하지 못한 레가시 시스템은 유지 보수의 어려움을 겪고 있으며, 이러한 문제점을 해결하기 위하여 기존 레가시 시스템을 재사용하기 위한 많은 노력과 연구가 이루어지고 있다. 본 논문에서는 레가시 시스템의 재공학을 통하여 레가시 시스템을 EJB 모델로 변환하는 방법을 제시하고, 구현하였으며, 다양한 추상화 수준에서 비즈니스 로직을 추출하여 컴포넌트화 하는 방법 및 절차 제시한다. 이를 통하여 레가시 시스템의 재사용성을 높이고 신뢰성 있는 시스템을 빠르게 개발할 수 있는 방법을 제안하고자 한다.

• Journal of The Korean Association of Information Education
• /
• v.25 no.6
• /
• pp.987-994
• /
• 2021

Computational Thinking is an analytical thinking ability that is necessary for everyone and everywhere. The existing Computational Thinking development education provided in Practical textbooks leads to block-based programming languages from unplugged activities. Many unplugged activities focus on practicing sequential order, which may lack the learning of abstractions or automation concepts. In block-based programming languages, concepts such as coordinate planes, which are not introduced in elementary school curriculum, appear, making students feel burdened by the block-based programming language itself. In this study, a curriculum was designed for elementary student's computational thinking through game-based programming language education. The results and their effectiveness were analyzed through the beaver challenge. As a result of analyzing the pre-test and post-test scores, it was confirmed that students' computational thinking skills improved.