• Journal of Digital Contents Society
• /
• v.6 no.1
• /
• pp.13-17
• /
• 2005

With the development of internet and networking technology, on-line remote educations in many area are being experimented. As on-line remote educations become more common, many people make multimedia contents for educational purpose. We designed and implemented a lecture authoring tool which provide easy way to build educational multimedia contents. We implemented the authoring tool with Java JMF, which can be executed any computer hardware. The purpose of this paper is to share the experience of implementing authoring tool and the implementation result of the authoring tool using Java JMF.

• The KIPS Transactions:PartA
• /
• v.16A no.2
• /
• pp.55-60
• /
• 2009

Race conditions in current Java programs must be detected because it may cause unexpected result by non-deterministic executions. For detecting such races during program execution, execution flows of all threads and all access events can be monitored. It is difficult for previous race detection techniques to monitor all threads and access events in actuality because these techniques analyze the files traced during program execution or modify original source programs and then monitor these programs. This paper presents a transparent scalable monitoring tool to detect races using JDI(Java Debug Interface) where JDI is 100% pure java interface to provide in JDPA(Java Platform Debugger Architecture) and is able to provide information corresponding to events occurred in run-time of programs. This tool thus can monitor execution flows of all threads and all access events without program modification. We prove transparency of the presented tool and grasp the efficiency of it using a set of published benchmark programs. As a result of this, the suggested tool can monitor all threads and accesses of these programs without their modification, and their monitoring time is increased to more than 20 times.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.6
• /
• pp.1134-1141
• /
• 2006

Java is platform-independent and supports uniform solutions from mobile area (J2ME) to enterprise area (J2EE), so Java is a good development tool for the environment of heterogeneous machines and distributed applications. Java applications need access control module as a Java package. In this paper, we design and implement it. Therefore Java developers can reduce development time, and system managers easily do access control work. Proposed module is based on Role-Based Access Control (RBAC) model and includes a Java package and administration tool.

• The Journal of Korean Association of Computer Education
• /
• v.10 no.4
• /
• pp.17-25
• /
• 2007

In this paper, the simplification procedure of Karnaugh Map, which is essential to design digital logic circuits, was implemented as a web-based educational tool by Java applet. The learners can make virtual experiments on the simplification of the digital logic circuit by clicking on some buttons or filling out some text fields. The proposed simplification procedure was implemented as a Java applet which is based on the Modified Quine-McCluskey algorithm. Thus, the implemented Java applet will enable the learners to enhance the learning efficiency as a auxiliary educational tool.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.3
• /
• pp.45-56
• /
• 2004

Java provides support for Web, concurrent programming, safety, portability, and GUI, so there is a steady increase in the number of Java users. Java is based on the object-oriented concepts such as classes, instances, encapsulation, inheritance, and polymorphism. However the JVM(Java Virtual Machine) hides most of the phenomena related to the concepts. This is why most of Java users have much difficulty in learning and using Java. As a solution to the problem, I have developed a tool Alpha that visualizes the phenomena occurred in the JVM from the standpoint of the concepts and will describe the design and features of the tool in this paper. For practicality and extendability Alpha has an MVC(Model-View-Controller) architecture and visualizes the phenomena such as object instantiations, method invocations, field accesses, cross-references among objects, and execution flows of threads in the various ways according to the levels and purposes of the users.

• The KIPS Transactions:PartD
• /
• v.15D no.1
• /
• pp.99-106
• /
• 2008

Recently developed compilers perform some optimizations in order to speed up the execution time of source program. These optimizations require the reordering of the sequence of program statements. This reordering does not give any problems in a single-threaded program. However, the reordering gives some significant errors in a multi-threaded program. State-of-the-art model checkers such as JavaPathfinder do not consider the reordering resulted in the optimization step in a compiler since they just consider a single memory model. In this paper, we develop a new verification tool to verify Java source program based on Java Memory Model. And our tool is capable of handling the reordering in verifying Java programs. As a result, our tool finds an error in the test program which is not revealed with the traditional model checker JavaPathFinder.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.974-982
• /
• 2016

Mutation analysis (or software mutation analysis) generates variants of a target program by injecting systematic code changes to the target program, and utilizes the variants to analyze the target program behaviors. Effective mutation analyses require adequate mutation operators that generate diverse variants for use in the analysis. However, the current mutation analysis tools for Java programs have limitations, since they support only limited types of mutation operators and do not support recent language features such as Java8. In this study, we present Mutagen4J, a new mutant generation tool for Java programs. Mutagen4J additionally supports mutation operators recently shown to generate various mutants and fully supports recent Java language features. The experimental results show that Mutagen4J generates useful mutants for analyses 2.3 times more than the existing Java mutation tools used for the study.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.379-381
• /
• 2016

현재 게임을 제작할 수 있는 다양한 Tool들이 존재한다. 하지만 제한된 Tool을 이용하여 제작된 게임은 프로그래밍 언어로 제작된 게임과 비교 시 다양한 방법의 구현 및 게임의 퀄리티 향상에 어려움이 있다. 따라서 본 문에서는 프로그래밍 언어 중 JAVA Library를 이용한 게임을 제작하여 그 필요성에 대하여 서술하였다.

• Journal of Industrial Technology
• /
• v.26 no.B
• /
• pp.215-220
• /
• 2006

Effective use of debugging in computer science education is a topic that has received little attention. Existing tools either are too overwhelming for the novice or are too basic and inflexible. Furthermore, the integration of the debugger into complex IDEs have unfamiliar debuggers from students, resulting in a harmful proliferation of console I/O. In this paper, a new stand-alone educational debugging tool is presented, with simple but powerful tools for easily observing and modifying program execution state. This tool is analyzed from an user perspective, and is compared with existing tools.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.615-617
• /
• 1998

WWW상에서 많은 정보 가운데 자신에게 필요한 정보를 찾기 위해 검색 엔진을 사용하는데, 대부분의 검색도구들은 문자 중심의 스크롤되는 페이지로 보여주기 때문에 검색결과가 많아지면 원하는 정보를 쉽게 찾기 힘들고 앞 뒤 임의의 위치로 이동하기가 어렵다. 본 논문에서는 검색 결과를 시각화하여 보여 줌으로써 편리한 사용자 인터페이스를 제공하여 원하는 정보를 쉽게 찾고, 그 문서가 있는 웹사이트로 곧바로 가는 기능을 가진 시각화 도구를 개발하였다. 본 시각화 도구는 Java로 구현하여 모든 플랫폼에서 사용할 수 있으며, Java를 지원하는 모든 웹브라우저 상에서 실행될 수 있다.