• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.164-172
• /
• 2003

Web service implementations are now rapidly growing. Web services are easily achieved by XML messaging for most programming languages. Applications usually utilize web services through APIs tied to a specific implementation of SOAP. nML is a dialect of SML and OCaml made in ROPAS. The soaptype type in nML is defined for the value of SOAP encoding. SOAP encoding specification defines rules for serialization of a graph of typed objects using XML Schema. XML Schema validates XML SOAP value. The soaptype type is encoded to XML and decoded from XML. It is necessary to guarantee safe encoding and decoding. So, the definitions for element and type definition in XML Schema are specified by element type and typeinfo type, which include the part of the definitions of XML Schema specification.

• Journal of Korea Multimedia Society
• /
• v.7 no.6
• /
• pp.824-831
• /
• 2004

This paper presents the java bytecode-to-.NET MSIL intermediate language translator which enables the execution of the java program in .NET environments without JVM(java Virtual Machine), translating bytecodes produced by compiling java programs into MSIL codes. Java, one of the most widely used programming languages recently, is the language invented by James Gosling at Sun Microsystems, which is the next generation language independent of operating systems and hardware platforms. Java source code is compiled into bytecode as intermediate code independent of each platform by compiler, and also executed by JVM. .NET language such as C# and .NET platform in Microsoft Corp. has been developed to meet the needs of programmers, and cope with Java and JVM platform of Sun Microsystems. After compiling, a program written in .NET language is converted to MSIL code, and also executed by .NET platform but not in JVM platform. For this reason, we designed and implemented the java bytecode-to-.NET MSIL translator system for programs written in java language to be executed in the. NET platform without JVM. This work improves the execution speed of programs, enhances the productivity, and provides a environment for programmers to develop application programs without limitations of programming languages.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.16 no.11
• /
• pp.2544-2549
• /
• 2012

The computer programming education is very important to study the related subjects in computer science, and also in the technology education for the students finding employment. In this paper, we develop the assessment metrics to evaluate and apply the textual and visual programming in the computer education. Also, we analyze the validity for the programming languages and tools for the education and getting job of students, and choose the appropriate programming language/tool for programming education. And, we develop the curriculum for programming education, finally apply and analyze in computer education of university. Especially, we compare and analyze the effectiveness for the text based programming language(JAVA) and visual programming language/environment(LabVIEW) in the area of embedded/mobile/Web programming fields which are necessary in the related industry to the recent trend of IT technology.

• The Journal of Korean Association of Computer Education
• /
• v.8 no.6
• /
• pp.23-32
• /
• 2005

Dolittle is a educational programming language that helps students learning principles and concepts of computer science with programming. Learning programming with robot improve learning achievements robot motivate to be interest with programming. However, Dolittle robot programming is a different from Dolittle programming in process of interpretation and execution mechanism. Therefore, students have virtually to learn two languages to control robot and it would reduce the worth of Dolittle as educational programming language. In order to solve this problem, we tried to Unify Dolittle and robot control language using parser that Dolittle program with turtle object convert robot program. But this try couldn't overcome completely this problem because attributes of turtle object is different from robot. In this research we unified Dolittle programming and Dolittle robot programming as a way of adding new robot object in dolittle standard object group. it would improve educational effect of learning programming with robot in Dolittle.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.5 no.1
• /
• pp.192-201
• /
• 2001

It has been a long standing problem in research of pure functional programming to program side-effect, input/output, exception handling, nondeterminism, and etc, preserving declarative property and lazy-evaluation of pure functional languages. Being introduced in 1989, Monadic approach has been suggested as a solution to this problem. In this paper, we introduce the principle of functional monadic programming and its various application techniques using the Pure functional language Haskell.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.11b
• /
• pp.557-560
• /
• 2003

In this paper, we developed an editor and running engine for the SoftPLC. LD is the most popular standard IEC 1131-3 PLC language in Korea and used over 90% among the 5 PLC languages. In this paper, we have developed the ISPLC(Intelligent Agent System based Software Programmable Logic Controller). In ISPLC system, LD programmed by a user is converted to IL, which is one of intermediate codes, and IL is converted to the standard C code which can be used in a commercial editor such as visual C++. In ISPLC, the detection of logical error in high level programming(C) is more efficient than PLC programming itself. ISPLC provide easy programming platform to such beginner as well as professionals. The study of code conversion of LD-> U->C is firstly tried in the world as well as KOREA.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.800-807
• /
• 2008

We introduce some well-known approaches to formalization and automatization of the meta-theory of a programming language with binders. They represent the trends in POPLmark Challenge. We demonstrate some characteristics of each approach by showing how to formalize some basic notations and concepts of Lambda-calculus using the proof assistant Coq.

• International Journal of CAD/CAM
• /
• v.8 no.1
• /
• pp.55-62
• /
• 2009

Scene Transition Nets(STN) is a very useful modeling method for discrete-continuous hybrid systems. However, it is difficult to write STN in standard object-oriented programming languages because STN programming requires much skill of object-oriented programming and high knowledge of STN of designers. To overcome this problem, the authors have developed a useful GUI simulator software for modeling and simulations of STN. The experimental results of a transport system including an AGV showed the availability of our software.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2018.01a
• /
• pp.99-100
• /
• 2018

컴퓨팅 사고력이 강조됨에 따라 우리 나라를 비롯한 세계 여러 나라에서는 프로그래밍 교육 등 컴퓨팅 관련 교육을 실시하고 있다. 일반적으로 프로그래밍 교육에서 초보 학습자에게는 블록 기반 프로그래밍 언어를 학습한 후 텍스트 기반 프로그래밍 언어를 학습하게 된다. 블록 기반 언어와 텍스트 기반 언어는 동일한 프로그래밍 논리를 함양하게 되지만, 다른 모든 언어들과 마찬가지로 언어 특성, 사용법, 형태 등 다소 차이가 있다. 따라서 본 논문에서는 블록 기반 프로그래밍 언어에서 텍스트 기반 프로그래밍 언어의 학습 전이의 효과에 대해 이론적 고찰을 실시하였으며, 그 결과 대부분의 연구에서 긍정적 전이 효과를 입증하였음을 확인하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.01a
• /
• pp.327-328
• /
• 2016

프로그래밍 교육은 프로그래밍에 필요한 지식 교육부분과 문제해결능력과 연관된 프로그래밍 전략을 교육하는 부분이 함께 필요하다. 프로그램 작성 기술을 교육하는 과정은 단순한 지식 습득과정이 아니므로 수업과정에서 학습자 스스로 문제해결능력을 배양할 수 있는 유도과정이 필요하다. 이러한 특성의 프로그래밍 수업의 대표적인 수업방식은 실습방식으로, 실제 수업에서 학습자들의 서로 다른 수준을 고려하면서 실습수업을 효과적으로 운영하기에는 수업시간에 대한 제약이 많이 발생한다. 본 연구에서는 프로그래밍 교육에서 사전 프로그래밍 과제를 활용하여 주어진 학점과 시간 안에서 실습 중심의 학습 효과를 높일 수 있는 교수 학습 모델을 제시한다. 이를 통해 프로그래밍 언어 교육 과정에서 발생하는 제한된 실습수업 시간으로 인해 학습자 스스로가 문제해결능력을 배양할 수 있도록 유도하는 수업을 실시하는데 발생하는 어려움을 해결하여, 학습자가 문제해결능력을 향상시키고 좋은 프로그램 작성 기준에 적합한 프로그램 개발 능력을 배양하는 결과를 얻을 수 있었다.