• Journal of KIISE:Software and Applications
• /
• v.29 no.8
• /
• pp.529-542
• /
• 2002

More precise program slices could be obtained by considering the semantic relations between variables of interest, compared to the existing slicing techniques considering only the syntactic relations. In this paper, we present specification-based slicing that allows a better decomposition of the program by taking a specification as its slicing criterion. A specification-based slice consists of a subset of program statements which preserve the behavior and the correctness of the original Program with respect to a specification given by a pre-postcondition pair. Because specification-based slicing enables one to focus attention on only those program statements which realize the functional abstraction specified by the given specification, it can be widely used in many software engineering areas. Of its possible applications, we show how specification-based slicing can improve the Process for extracting reusable parts from existing programs and restructuring complex programs for better maintainability.

• Journal of the Korea Convergence Society
• /
• v.9 no.4
• /
• pp.31-45
• /
• 2018

Recent dramatical development of computer technology related to internet technology intensifies the dispute over software of computer or smart device. Research on software has been flourished with political issuing of fierce competition among nations for software development. Particularly industrial growth in ethernet based big data and IoT (Internet of Things) has promoted to build and develop open source programs based on java, xcode and C. On these circumstances, issue on software piracy has been confronted despite the basic security policy protecting intellectual property rights of software and thus it is of substantial importance to protect the rights of originality of source program license. However, the other issue on source technology protection of developer is the possibility of hindrance to advancement in industry and culture by developing programs. This study discuss the way of enhancing legal stability of IoT application program development and reinforcing precision in inspection of program plagiarism by analyzing the source programs with newly introducing text mining technique, thus suggests an alternative protective way of infringement of personal information due to duplicating program.

• The Journal of the Society of Korean Medicine Diagnostics
• /
• v.14 no.1
• /
• pp.70-78
• /
• 2010

Objectives : To qualify or enhance the diagnostic ability of students in Oriental Medicine, so called standardized patients are ideal modality, but because it's a man-based method, more convenient tools are required. Computer-based diagnostic ability test program gives effective way for the very purpose. So we made a pilot software evaluating Pattern Identification ability in Oriental Medicine. Methods and Materials : The pilot software was coded with Microsoft's EXCEL VBA. 87 names of Zheng (Symptom Pattern) and 674 names of symptom (including some signs) are adopted from the former standardization works conducted by Korean Institute of Oriental Medicine (KIOM) in 1996. Results : Compared with some manned modalities to test Pattern Identification ability, the test by this software shows superiority in convenience and objectivity. Conclusion : This software is world's first program to perform computer-based evaluation of Pattern Identification in Oriental Medicine, and it gives effective way to complement both written test and manned clinical performance test (CPX).

• Journal of the Korea Computer Industry Society
• /
• v.10 no.4
• /
• pp.127-134
• /
• 2009

This paper has been designed genius software program model that introducted new class basing the Heurilistic Classification model. In order to implement this model, we have introducted heurilistic class to genius software program. And we compared comparing group with treating group using genius software program and study relationship of creation increase.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.12
• /
• pp.1-10
• /
• 2016

In this paper, we attempt to prevent certain cases by tracing a history and making genogram about open source software and its modification using similarity of source code. There are many areas which use open source software actively and widely, and open source software contributes their development. However, there are many unconscious cases like ignoring license or intellectual properties infringe which can lead litigation. To prevent such situation, we analyze source code similarity using program dependence graph which resembles subgraph isomorphism problem, a typical NP-complete problem. To solve subgraph isomorphism problem, we utilized harmony search of metaheuristic algorithm and compared its result with a genetic algorithm. For the future works, we represent open source software as program dependence graph and analyze their similarity.

• Journal of Internet Computing and Services
• /
• v.17 no.2
• /
• pp.39-47
• /
• 2016

In software R&D artifacts including documents and program code are produced. There are two kinds of software R&D artifacts: Research artifacts and development artifacts. Research artifacts include software R&D planning document, annual report, final report, research note and so on. Software development artifacts include software requirements, software design description, testing plan, test report, and program code. It is important to verify the documents and to test code to check the direction of the R&D. Moreover, we should check relationships as such completeness and consistency between research and development artifacts. The verification and testing help project manager and researchers understand what they do during software projects. Therefore, in this study, we present a process to verify documents and program in software R & D. In the process we check documents produced in software R&D and test program code. We describe the process by using Essence elements including alpha, activity, and competency. We present a case study to show the effectiveness of the process.

• Journal of Families and Better Life
• /
• v.14 no.4
• /
• pp.249-262
• /
• 1996

To give additional assistance in education for family time use and time management a computer program based on the time-related theories was developed. For this purpose the study consisted of three main stages. First various theories of family time use time management strategies and household work time were investigated and the assumptions were suggested. Second the module for predicting family time use was designed and the program using the module was developed. Third to evaluate the program's benefits the program was used at introductory class of undergraduate course. As the results the sophisticated software program could be used as an educational instrument to help not only students but also individual and family member to become knowledgeable about managers of family time resource. furthermore this program could be useful for the educators and counselors to help individuals and households with time use problems.

• Archives of design research
• /
• v.13 no.1
• /
• pp.219-225
• /
• 2000

Most of designers use applied software of computer programs instead of traditional tools such as brushes, poster colors, etc. for drawing and designing. For example applied software programs for design are applied the workings printing, presentation, movie, animation, character design as well as industrial design. Especially, quality of applied software programs in the field of visual communication design influence on the design results in future. Therefore, many college attempt to invest budget to inhrence the quality of software program in design education. However, effectiveness of investment is lowered due to the professional lack of software knowledge. This study tries to explore how the investment for software program in visual communication design becomes more effective, and to suggest how the order of software program, design curriculum through the affective computer usage in design education will be more useful than now. By comparing and contrasting the different cases in the computer environments of the colleges, this study was processing, the result of this study will contribute to the design education of visual communication.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.8
• /
• pp.1348-1355
• /
• 1997

Machine element design is a very important course in the undergraduate program of mechanical engineering in that it presents traditional design concepts. While computer aided design(CAD) receives more attention, students tend to ignore the machine element design or traditional design concepts. However, design methodologies related to machine elements are utilized quite often in practical fields. Also, design methodologies provide good insight for the decision making process of modern design. Generally, CAD is used for simple drafting without the real design process in the undergraduate program. Design software has been developed for various machine elements. Through menu display, a user can select or furnish the design input such as design objects, dimensions, environmental forces and usages, and safety factors. Then the software carries out the design processes which are the same as those of textbooks. The result of the design is filtered to have the values in the standards. The designed machine element is drawn via commercial CAD software. The software has been developed with C language on a personal computer. The developed software is being utilized successfully in a design course, and the experiences are discussed in this paper. The software can be used in industries which require the repeated process of the machine element design.

• Proceedings of the KIEE Conference
• /
• 2000.07a
• /
• pp.322-324
• /
• 2000

This paper introduces the concepts of UML(Unified Modeling Language) and the applying this technique for implementing voltage stability analysis program. Conventional function-oriented software development methodologies are inadequate to support further maintenance and enhancement. To overcome drawbacks of these methodologies, this paper proposes applying object-oriented technology for voltage stability evaluation software development. In this paper, a modal analysis approach, a steady-state voltage stability evaluation method, is used and UML is applied to the analysis and design for software development.