• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.8
• /
• pp.287-296
• /
• 2018

In the recent commercial DBMS market, as the users' burden and complaint which are related to high price licensing policy and late technical support service are increasingly rising, the concern for use of open source DBMS which has no problem with compatibility or stability is escalating. Due to the fact, the cases saving the cost are growing by converting Oracle Corporation's applications, which has about 60% share in the DBMS market, to an open source DBMS. However, in converting non-interchange sentences to an ANSI standard-based open source DBMS because of the use of PL/SQL in Oracle Corporation provides, a lot of manual work accompanies, so there is a lot of loss of time and money. Therefore, a tool that automatically converts PL/SQL to standard SQL is required. The proposed automation tool for the conversion of applications converts PL/SQL to Java Stored Procedure, an open source DBMS-based ANSI standard programming language. Through carrying out a test on the automation tool, it is proved that the tool will contribute to shortening time and saving cost by verifying the identity of input-output data and its reliability after correcting errors in converting to Java Stored Procedure.

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

It is not easy to analyze object-oriented programs, including those in Java, Because the control flows of he program is not visible to the users. The users, however, can utilize class files to trace the process of execution, since a lot of information related on control flow are store in the control flows. A Java virtual machine can then execute the bytecods included in classfiles. It means that understanding the execution process of the bytecodes leads users to comprehend and analyze source programs in Java. We design and implement a visual tool for bytecode execution that is an efficient and powerful tool to understand and analyze source programs in Java. It can aid users to thoroughly grasp not only the structure of a program but also the flow of controls among objects.

• Korean Journal of Computational Design and Engineering
• /
• v.17 no.1
• /
• pp.7-16
• /
• 2012

One distinguishing feature of BIM(Building Information Modeling) is the objectification of spatial elements independently, which makes it easy to represent spatial network. From this perspective, this study aimed to develop the spatial network analysis tool based on open BIM technologies. From the literature review, an object model of spatial network with nodes and links and a process model from construction to visualization were established. A prototype system implementing the proposed models, named SNAT(Spatial Network Analysis Tool), was developed in Java platform with using its open source packages. SNAT can create a spatial network from IFC-BIM model, calculate the indices of spatial network analysis, and visualize it with the representing types(map, graph, matrix and table).

• Genomics & Informatics
• /
• v.8 no.1
• /
• pp.58-61
• /
• 2010

CpG is the pair of nucleotides C and G, appearing successively, in this order, along one DNA strand. It is known that due to biochemical considerations CpG is relatively rare in most DNA sequences. However, in particular subsequences, which are a few hundred to a few thousand nucleotides long, the couple CpG is more frequent. These subsequences, called CpG islands, are known to appear in biologically more significant parts of the genome. The ability to identify CpG islands along a chromosome will therefore help us spot its more significant regions of interest, such as the promoters or 'start' regions of many genes. In this respect, I developed the CpG islands search tool, CpG Islands Detector, which was implemented in JAVA to be run on any platform. The window-based graphical user interface of CpG Islands Detector may facilitate the end user to employ this tool to pinpoint CpG islands in a genomic DNA sequence. In addition, this tool can be used to highlight potential genes in genomic sequences since CpG islands are very often found in the 5' regions of vertebrate genes.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.696-702
• /
• 2003

This paper presents a static analysis based on set-based framework which estimates exception propagation paths of Java programs, and a visualization tool which visualizes propagation paths of exceptions using the static analysis information. We have implemented the exception propagation analysis and a visualization tool, which can guide programmers to handle exceptions more effectively.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.354-358
• /
• 2001

Cosim (Hardware and Software Co-Simulator) is a JavaBeans-based simulation tool fur validating systems architecture and estimating performance of web applications. Cosim has four components: Modeler, Translator, Engine and Scenario. Users start from Modeler to describe systems architecture in UML(Unified Modeling Language) deployment diagram, and then specify hardware & software performance parameters such as execution delay, network topology, and frame size. All information specified on Modeler are sent to Translator, and then automatically converted to Java programs. Scenario is responsible to run the Java program and produce results in text reports and graphs. Developers can reduce development time and cost by validating systems architecture of web applications before the actual deployment.

• Journal of Advanced Navigation Technology
• /
• v.14 no.6
• /
• pp.984-989
• /
• 2010

In this paper, parallel programming technique by using Java Thread is introduced so as to develop parallel design tool to analyze the small micro flow sensor. To estimate computing time for Thread-level parallelism, the performances of two experimental models for potential problem subject to Thermal transfer equation are examined. As a result, if the number of network PC is increase, computing time for parallelism on network environment is enhanced to be almost n times. The micro sensor design tool based on distributed computing can be utilized to analyze a large scale problem.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.709-713
• /
• 2004

This Paper Presents an Internet-based Java self-learning educational system which consists of a management system named Java Web Player (JWP) and creative multimedia contents fer Java language. The JWP Is a Java application program free from security problems by the Java Web Start technologies that supports an Integrated learning environment including three Important learning Procedures: Java concept learning Process, Programming practice process and assessment process. This JWP enables the learners to achieve efficient and Interesting self-learning since the learning process is designed to enhance the multimedia capabilities on the basis of various educational technologies. On-line voice presentation and its related texts together with moving images are synchronized for efficiently conveying creative contents to learners. Furthermore, a simple and useful compiler is included in the JWP fur providing user-friendly language practice environment enabling such as coding, editing, executing and debugging Java source files on the Web. The assessment process with various items helps the learners not only to increase their academic capability but also to appreciate their current degree of understanding. Finally, simple multiple choices are given suddenly to the learners while they are studying through the JWP and the test results are displayed on the message box. The proposed system can be used for an efficient tool for learning system on the Web.

• The KIPS Transactions:PartD
• /
• v.12D no.7 s.103
• /
• pp.931-936
• /
• 2005

There may be subtle errors in embedded software since its functionality is very complex. Thus formal verification for detecting them is very needed. Model checking is one of formal verification techniques, and SLAM is a well-known software model checking tool for verifying safety properties of embedded C program. In this paper, we develop a software model checker like SLAM for verifying embedded Java program Compared to SLAM, our tool allows to verify liveness properties as well as safety ones. As a result, we verify some desired properties in embedded Java program for controlling REGO robot.

• BMB Reports
• /
• v.44 no.2
• /
• pp.107-112
• /
• 2011

We have developed a biologist-friendly, stand-alone Java GUI application, IdBean, for ID conversion. Our tool integrated most of the widely used ID conversion services that provide programmatic access. It is the first GUI ID conversion application that supports the direct merging as well as comparison of conversion results from multiple ID conversion services without manual effort. This tool will greatly help biologists who handle multiple ID types for the analyses of gene or gene product lists. By referring to multiple conversion services, the number of failed IDs can be reduced. By accessing ID conversion service online, it will potentially provide the most up-to-date conversion results. The application was developed in modular form; however, it can be re-packaged into plug-in form. For the development of a bioinformatics analysis tool, the module can be used as a built-in ID conversion component. It is available at http://neon.gachon.ac.kr/IdBean/.