• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.97-102
• /
• 2006

Generally, a software development process is composed with requirements analysis, design, coding, test and maintenance. However, some changes of the design step are difficult to complicate the next step in the development process. It always causes the disagreement between design and implementation step. In this paper, we have developed a tool which can generate an application program. The tool can reduce the disagreement between system design and implementation and recognize the business logic to develop the software rapidly and flexibly In addition, we proposed a non-program-based application program system approach was proposed, In. We can generate and modify an application program with this method which can edit the meta data of a system design by the dynamic method for the execution time.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.7
• /
• pp.2219-2228
• /
• 2000

Caches in a multiprocessing environment introduce the cache coherence problem. When multiple processors maintain locally cached copies of a unique shared-memory location, any local modification of the location can result in a globally inconsistent view of memory. Cache coherence protocols are important to operate a shared-memory multiprocessor system with efficiency and correctness. Since random testing and simulations are not enough to validate correctness of protocols, it is necessary to develop efficient and reliable verification methods. In this appear we present our experience in using VIS (Verification Interacting with Synthesis), a tool of formal method, to analyze a number of property of a cache coherence protocol, RACE (Remote Access Cache coherent Enforcement).

• The KIPS Transactions:PartC
• /
• v.14C no.4
• /
• pp.313-320
• /
• 2007

In this paper, we propose a method to analyze security vulnerabilities of MS word-processor by checking the validation of its input files. That is, this study is to detect some vulnerabilities in the input file of the word processor by analyzing the header information of its input file. This validation test can not be conducted by the existing software fault injection tools including Holodeck and CANVAS. The proposed method can be also applied to identify the input file vulnerabilities of Hangul and Microsoft Excel which handle a data file with a header as an input. Moreover, our method can provide a means for assessing the fault tolerance and trustworthiness of the target software.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1995.04a
• /
• pp.617-628
• /
• 1995

본 논문에서는 상용화된 이 기종 CAD/CAM 시스템간의 CAD 데이타 교환기능을 가지는 IGES Translator 시스템의 구조를 제안한다. 제품생산의 여러 단계에서 CAD/CAM의 사용이 보편화되어감에 따라 상용 CAD/CAM 시스템들은 응용분야에 맞는 특수한 도구로 사용되는 경향이 생겨났다. 예를 들어, ALIAS는 주로 스타일링 디자인에, I-DEAS와 PRO/ENGINEER는 엔지니어링 디자인에, EUCLID는 금형 디자인에, 그리고 OMEGA와 Z-MASTER는 NC 공구경로생성에 주로 사용되고 있다. CAD 데이타 교환을 위해 제안된 중립파일형식(Neutral File Format)중에서, IGES(Initial Graphics Exchange Specification)는 대부분의 상용 CAD/CAM 시스템에서 지원을 하고 있으며 가장 널리 쓰이는 파일형식이다. 그런데, IGES를 통한 CAD 데이타 교환은 다음과 같은 문제점들을 가지고 있다. 즉, patch의 사라짐, 경계곡선의 왜곡, patch의 overlap 또는 gap, trimming error, 곡면각의 꺾임각도 등이 그것이다. 이 논문의 목적은 이러한 문제점들을 해결할 수 있는 범용 IGES Translator를 개발하는데 있다. 이 논문의 주요한 기여 내용은 다음과 같다. 1) 주요 상용 CAD/CAM 시스템의 IGES Interface 기능의 비교 분석, 2) 주요 상용 IGES Translator의 기능 분석, 3) 사용자의 기능적 요구사항의 분석, 4) 사용자 관점 및 시스템 관점에서의 IGES Translator의 구조 제안, 5) Prototype IGES Translator의 개발 및 테스트 결과 제시.

• The Journal of Korean Association of Computer Education
• /
• v.15 no.4
• /
• pp.13-24
• /
• 2012

The problem with the Information Ethics is an issue recently since the increase of using Internet by young people. In this study, we developed dilemmas before developing a tool to measure the judgment of secondary school students on the Information Ethic. For this purpose, we selected issues consisted of four kinds of issues(PAPA) by Mason and add recent young people's issues in Korea. By experts in the related fields, we have developed dilemmas for each issues. we have proven the validity of completed dilemmas through pilot test by 30 secondary school students. As a result we completed 12 dilemmas able to measure the judgment of young people on the Information Ethics.

• Journal of Digital Contents Society
• /
• v.17 no.4
• /
• pp.265-272
• /
• 2016

Recently Chinese education market and social interest has been extended. Accordingly, smart learning based on smartphone applications became part of new educational paradigm. Also, there are more active research and development of applications for the Chinese language education. In this paper, we designed and implemented the smartphone functional application prototype for learning basic Chinese characters. Expression of Chinese characters, the comparison, listening in pronunciation, voice recording and listening, related content learning, and implement testing presented using casual user interface. In the future study, we will develop the prototype with user interface for learning Chinese conversation and individual index of evaluation can be effective learning Instrument without additional tools.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.43 no.1 s.343
• /
• pp.71-78
• /
• 2006

MANET routing protocols must support not only wireless networking without any relaying on network infrastructure, but also dynamic management of routing information caused by node mobility. Hence, they are one of important routing protocols for USN. Recently DYMO is regarded as a promising routing protocol for UMT because it is simple and easy to extend as well as it requires less networking load than others. In this paper, we design and implement DYMO routing protocol into various operation systems. Also, we develop a DYMO conformance test tool to evaluate our implementations.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.6 no.6
• /
• pp.974-979
• /
• 2002

There are so many kind of a control program that is applied in various process fields such as power generation plant, water treatment plant, incinerator plant, chemical plant, cement plant etc.. Because an engineer in field edits and changes and debugs and tests properly control programs using text-based control language, it is very hard for the him to apply to plant. Therefore, this research implemented a graphical tool for control program builder that is applicable to various plants and usable engineers having a little knowledge for control language. I wish to run more efficiently precision process control offering function that can see visual expression about flow of control signal and intermediate output values of control program displayed in screen using this implemented function block builder.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2012.10a
• /
• pp.431-434
• /
• 2012

The network traffic increases due to the web service and mobile application use while the smart device user increases rapidly. This paper presented the QRcode application as network data loss problem in the u-Health mobile environment and encryption module alternative. Therefore, the bio-information of the patient was collected and QRcode was produced in the PC based. In addition, the rate of reading recognized in the polution and damage was confirmed. The data traffic loss ratio using the network performance measurement equipment was tested.

• Journal of KIISE:Software and Applications
• /
• v.31 no.10
• /
• pp.1418-1429
• /
• 2004

This paper presents GrammE, a grammar development environment for feature-based APSG. At the stage of a grammar development, analysis are be done by interpreting the grammar under development, given in a text format, it is relatively easy to diagnose the grammar. Once developed, the grammar is compiled, by using the embedded grammar compiler, into a parser program written in $C^{++}$. The parser program can be used in various types of natural language processing systems requiring syntactic analysis. GrammE is language-independent, and so far has been used for the development of Korean and Chinese grammars.