• The KIPS Transactions:PartA
• /
• v.10A no.3
• /
• pp.239-246
• /
• 2003

The Verilog parser libary for IEEE Verilog 1364-2001 Standard is developed in the paper. The lexer and scanner are developed and tested to handle "Yerilog-2001" which is the first major update to the Verilog language since its inception in 1984. Also the newly developed XML intermediate format for Verilog-2001 is presented. By using the XML intermediate, it allows the portable and scalable development of various kinds of verilog applications that are mainly focused on semantic manipulation.ipulation.

• Journal of Korean language education
• /
• v.28 no.3
• /
• pp.1-24
• /
• 2017

This article explores the developmental history of TOPIK over the last 20 years and its recent trends. Over the last two decades, TOPIK underwent two major systematic reforms, achieving both quantitative and qualitative growth over the course of its 52 testing sessions. TOPIK has utilized a six-level evaluation system from its inception to the present. The evaluation system was amended from the earlier six-test set - whereby each level corresponded with a separate test (1997~2005: the $1^{st}{\sim}9^{th}$) - to the three-test set (2006~2014: the $10^{th}{\sim}34^{th}$), and finally to the two-test set (2014~present: the $35^{th}{\sim}42^{nd}$). In the earlier exams, abilities in Vocabulary Grammar, Writing, Listening, and Reading were assessed. However, beginning with the $35^{th}$ TOPIK, abilities in Listening, Reading, and Writing (only in TOPIK II) were assessed and the evaluation of the writing section was changed to a task-based process, improving TOPIK into a more qualified analysis of proficiency. Over the last 20 years, the number of countries TOPIK is administered in has greatly increased from 4 to 73 countries, and the annual number of test-takers has also significantly increased from 2,692 to 250,141. The distribution of proficiency levels of the test-takers has shifted over time - initially "Beginner>Intermediate>Advanced" in the earlier exams, to "Intermediate>Advanced>Beginner" after the mid 2000s - as the number of those studying the Korean language for specific purposes and continuing education increased. Test-takers have indicated a shift in their purpose for taking the exam, initially citing "to assess proficiency" and more recently selecting "to study abroad," and this could also correlate with changes in the proportion of test-takers' proficiency level. In general, 85~95% of beginner, 50~65% of intermediate, and 45~60% of advanced test applicants passed the respective proficiency level. To date, no practices have yet been implemented to standardize the difficulty level longitudinally across test sets.

• Journal of KIISE:Computing Practices and Letters
• /
• v.5 no.6
• /
• pp.727-737
• /
• 1999

프로세스 중심 소프트웨어 개발 환경(PSEE : Process-centered Software Engineering Environment)은 소프트웨어 개발자를 위한 여러가지 정보의 제공과 타스크의 수행, 소프트웨어 개발 도구의 수행 및 제어, 필수적인 규칙이나 업무의 수행등과 같은 다양한 행위를 제공하는 프로세스 모형의 수행을 통하여 소프트웨어 개발 행위를 지원한다. SEED(Software Engineering Environment for Development)는 효율적인 소프트웨어 개발과 프로세스 모형의 수행을 제어하기 위해 ETRI에서 개발된 PSEE이다.본 논문에서는 SEED에서 프로세스 모형을 설계하기 위해 사용되는 SimFlex 프로세스 프로그래밍 언어와, 수행지원시스템인 SEED Engine의 구현에 대하여 기술한다. SimFlex는 간단한 언어 구조를 가진 프로세스 프로그래밍 언어이며, 적절한 적합화를 통하여 다른 PSEE에서 사용될 수 있다. SimFlex 컴파일러는 SimFlex에 의해 기술된 프로세스 모형을 분석하고, 모형의 오류를 검사하며, SEED Engine에 의해 참조되는 중간 프로세스 모형을 생성한다. 중간 프로세스 모형을 사용하여 SEED Engine은 외부 모니터링 도구와 연관하여 사용자를 위한 유용한 정보뿐만 아니라 SimFlex에 의해 기술된 프로세스 모형의 자동적인 수행을 제공한다. SimFlex 언어와 수행지원 시스템의 지원을 통하여 소프트웨어 프로세스를 모형화하는데 드는 비용과 시간을 줄일 수 있으며, 편리하게 프로젝트를 관리하여 양질의 소프트웨어 생산물을 도출할 수 있다. Abstract Process-centered Software Engineering Environments(PSEEs) support software development activities through the enaction of process models, providing a variety of activities such as supply of various information for software developers, automation of routine tasks, invocation and control of software development tools, and enforcement of mandatory rules and practices. The SEED(Software Engineering Environment for Development) system is a PSEE which was developed for effective software process development and controlling the enactment of process models by ETRI.In this paper, we describe the implementation of the SimFlex process programming language used to design process models in SEED, and its runtime support system called by SEED Engine. SimFlex is a software process programming language to describe process models with simple language constructs, and it could be embedded into other PSEEs through appropriate customization. The SimFlex compiler analyzes process models described by SimFlex, check errors in the models, and produce intermediate process models referenced by the SEED Engine. Using the intermediate process models, the SEED Engine provides automatic enactment of the process models described by SimFlex as well as useful information for agents linked to the external monitoring tool. With the help of the SimFlex language and its runtime support system, we can reduce cost and time in modeling software processes and perform convenient project management, producing well-qualified software products.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.5
• /
• pp.619-633
• /
• 1993

A new High level hardware Description Language, ASPHODEL(Algorithm Synthesis Pascal Hardware for Optimal Design and Efficient Language), and its algorithm compiler for high level synthesis are described in this paper. The new HDL, appropriated to the description of algorithmic level and lower, models VLSI circuits as an abstracted block which is consisted of input/output ports and hierachical processors to control VLSI complexities with efficiency. Also, in order to improve the descriptive power, popular Pascal programming language is modified to build ASPHODEL syntax rules. ASPHODEL algorithm compiler generates an intermediate form through lexical and syntax analysis from ASPHODEL source codes. To show the validation of presented language and its compiler, those are applied to practical design examples.

• English Language & Literature Teaching
• /
• v.13 no.3
• /
• pp.1-22
• /
• 2007

The study examined the effects of explicit derivational morphology instruction (henceforth DMI) on the incidental vocabulary acquisition and reading comprehension of 132 Korean 1st-year high school students who responded to a battery of tests (two vocabulary tests and a reading comprehension test). Multiple statistical tools were used to analyze the data: Analysis of Covariance (ANCOVA), Analysis of Variance (ANOVA), Simple Regression Analysis, Tests of Simple Main Effects, and effect size computation using Cohen's d. The results indicated that (a) DMI enhanced students' ability to infer word meanings in context, (b) DMI promoted high proficiency students' reading comprehension, whereas it impeded intermediate proficiency students' reading comprehension, (c) vocabulary knowledge has a strong positive predictive value for reading comprehension, and (d) the gaps of vocabulary knowledge across proficiency levels were still substantial, despite the observation that DMI promoted students' vocabulary acquisition. These results have a bearing on English as Foreign Language (EFL) reading pedagogy.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2002.02a
• /
• pp.135-146
• /
• 2002

The so-called overapplication of Coda Neutralization in Korean, the occurrence of a neutralized consonant in a non-neutralizing environment, is often considered as evidence for serial derivation. In this paper I propose that the neutralization effect at surface is not a result of a phonological process at an intermediate level in serial derivation, but due to a constraint requiring the integrity of the morphological constituent: EDGE-INTEGRITY. It is argued that this is not reducible to an alignment constraint, but a genuine faithfulness constraint on the edge of a morphological constituent. The putative opacity related with the coda neutralization is shown to be an epiphenomenon arising from the ambisyllabic representation of a consonant at a morphological juncture, satisfying both EDGE-INTEGRITY arid Syllabic Conditions. Consonant Copy in the Jeju dialect provides further evidence for EDGE-INTEGRITY, the Only difference being that the conflict between Syllabic Conditions and EDGE-INTEGRITY is resolved by insertion of a copied consonant.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.154-156
• /
• 2003

모바일 기술의 발달로 인해 모바일 장치를 위한 다양한 지원 모델과 응용 프로그램들이 개발되고 있다. GIS분야에서도 모바일 기술이 접목되어 모바일GIS가 등장하게 되었으며, 모바일GIS를 이용한 다양한 응용 프로그램들이 서비스되고 있다. 기존의 모바일GIS는 국립지리원에서 제공하는 DXF형식의 국가기본수치지도를 원시 데이터로 사용하였으나, 최근에는 모바일GIS에 XML(extensible Markup Language)을 적응하려는 움직임을 보이고 있다. 이를 위해서는 DXF형식의 GIS데이터를 OGC(Open Gis Consortium)에서 제안한 GML(Geography Markup Language)로 변환하기 위한 변환기를 필요로 한다. 본 논문에서는 DXF를 GML로 변환하기 위한 DXF2GML변환기의 효율적인 번역을 위해, DXF와 GML의 의미적 차이를 해결하고 효율적인 변환과정을 구현하기 위한 DXF2GML변환기의 중간코드를 제안하고자 한다. 또한 제안된 중간코드를 적용하여 DXF2GML변환기의 Front-End인 중간코드 생성기와 Back-End인 GML문서 생성기를 구현하고자 한다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.537-540
• /
• 2003

자바와 .NET 언어는 프로그래머들이 프로그램을 개발하는데 가장 널리 사용되고 있는 언어이다. 프로그래머가 작성한 자바 프로그램은 JVM 플랫폼에서는 실행이 되지만 .NET 플랫폼에서 실행이 되지 않고, 반대로 C#과 같은 .NET 언어로 작성한 프로그램은 .NET 플랫폼에서는 실행이 되지만 JVM 플랫폼에서 실행이 되지 않는다. 그러므로 자바 프로그래머는 .NET 플랫폼 환경에 맞추어 프로그래밍하지 못하고, .NET 프로그래머는 JVM 플랫폼 환경에 맞추어 프로그래밍하지 못하는 단점이 있다. 본 논문에서 연구한 Bytecode-to-MSIL 번역기는 위의 단점을 해결한 것이다. 먼저 자바로 작성된 프로그램을 컴파일하여 생성된 클래스 파일(*.class)로부터 Oolong 역어셈블러를 이용하여 Oolong 코드를 추출한다. 추출된 Oolong 코드를 본 논문에서 연구한 Bytecode-to-MSIL 번역기로 .NET의 중간언어인 MSIL 코드로 변환하여 .NET 어셈블러로 실행파일을 만들어 자바 언어로 구현된 프로그램이 .NET 환경에서도 실행될 수 있도록 한다. 따라서, 자바 프로그래머나 .NET 프로그래머는 JVM 이나 .NET 플랫폼 환경에 관계없이 프로그램을 작성하여 실행시킬 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.783-786
• /
• 2003

가상기계란 하드웨어로 이루어진 물리적 시스템과는 달리 소프트웨어로 제작되어 논리적인 시스템 구성을 갖는 개념적인 프로세서이다. 가상기계 기술은 기계의 프로세서나 운영체제가 바뀌더라도 응용프로그램을 변경하지 않고 사용할 수 있다는 장점이 있다. 최근에는 GVM, KVM 등 모바일 단말기를 위한 가상기계들이 개발되면서 그 중요성이 더욱 부각되고 있으며 특히, 임베디드 시스템을 위한 가상기계 기술은 모바일 디바이스와 디지털 TV 등의 다운로드 솔루션에 꼭 필요한 소프트웨어 기술이다. 본 논문에서는 바이트코드, MSIL 등 기존의 가상기계를 위한 어셈블리 언어들의 분석을 기반으로 하여 임베디드 시스템을 위한 가상기계의 표준 중간 언어인 STL(Standard Intermediate Language)을 제안하고 니모닉(Mnemonic)을 정의한다. SIL은 SIL Assembler에 의해 EVM의 실행 파일인 *.evm의 형태로 번역되며 객체지향 프로그래밍 언어와 순차적인 프로그래밍 언어를 모두 수용할 수 있는 특징을 지닌다.

• English Language & Literature Teaching
• /
• v.12 no.2
• /
• pp.127-152
• /
• 2006

For the past 20 years the process approach to writing has been popular in second language writing classrooms. However, there have been very few studies conducted in Korea with regard to the composing processes and the effects of proficiency on writers' usage. The present study attempts to begin to fill this gap. Three groups of college students with different writing proficiency participated in the study: the advanced group, the intermediate group, and the beginning group. The verbal protocol of their writing processes revealed that they approached writing tasks differently. While the advanced writers focused on generating texts and ideas and examined their writing at both global and local levels, the other two groups of students tended to focus on evaluating text at the local level and generated fewer ideas and less text. The findings from this study are then compared to those of some major studies of the composing process as conclusions are subsequently drawn about the specific needs of Korean college writers.