• Proceedings of the IEEK Conference
• /
• 2002.07b
• /
• pp.924-927
• /
• 2002

In this paper we proposed the design space exploration environment of re-configurable hybrid systems and evaluate the performance by changing design parameters. With this, we analyzed the effect of various scheduling methods which determine how we allocate hardware/software resources to application program. A simple static (fixed) mapping strategy produces almost the same performance compared with a sophisticated dynamic mapping strategy especially when a CPU is already busy with its pre-assigned own tasks.

• Journal of the speleological society of Korea
• /
• no.5
• /
• pp.96-106
• /
• 1997

The reduction of cave survey data is an essentially straightforward but repetitive mathematical task which can be carried out to advantage using virtually any type of computer from a programmable calculator upwards. The obvious benefits are speed and accuracy in reducing and adjusting the raw data to obtain the x,y,z coordinates (eastings, northings and elevations) of the surveyed points. Additionally, depending on the functionality of the software (program) and power of the hardware (computer), the user may be able to build up a data base of surveys, plot out on paper scaled plans and elecations of the cave and possibly even see a three-dimensional model of the cave, in perspective or some other projection, as an aid to understanding the spatial relationships of cave passages.(omitted)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.1342-1345
• /
• 2011

A valid scenario generation is essential for model checking software. This paper suggests an automated scenario generation technique through the analysis of function called-by graphs and call graphs of the program source code. We provide the verification process including the scenario generation and show application results on the Trampoline operating system using CBMC as a back-end model checker.

• Journal of The Korean Association For Science Education
• /
• v.8 no.2
• /
• pp.17-22
• /
• 1988

Computer based instruction in the elementary science curriculum will be played an important role through the fifth curriculum reform from the 1989 school year. This is essential for the science instruction because the strategies on the problem-solvings and inquiry approaches can be utilized for the science classroom. Computer education can be thought as the education about the computer and the education using the computer. Of them the education using the computer means the computer assisted instruction(CAI) what is called all the possible activities using the computer in the classroom. Student achievement as the result of CAI depends on the learning activities of students and the instructional techniques and strategies of teachers using the computer. However, computer based education to enhance the student achievement is pointed out the lacks of the standardized Korean alphabet code and the compatibility of qualified software. These problems will be relieved according to the coding for the Korean alphabet of SUPER PILOT program language.

• The Journal of Korean Association of Computer Education
• /
• v.18 no.6
• /
• pp.23-31
• /
• 2015

The main aim in software education is to improve problem-solving ability based on computational thinking with the healthy information ethics. For this purpose, many institutions have attempted various educational programs such as Educational Programming Language, Physical Computing, and Robot education. However, it is possible to obscure the essence of computer education for computational thinking if the computer education focuses on using certain special education programming language and products. Therefore, this paper suggests a method of algorithm education using RAPTOR which is a visual programming development environment and is based on flowcharts. In order to verify the effectiveness of the algorithms education using the RAPTOR, 16 high-school students were applied to an educational program for twelve hours on five steps and then we obtained positive results.

• Proceedings of the KIEE Conference
• /
• 2005.07a
• /
• pp.111-113
• /
• 2005

In this paper a computer program has been developed using IT technologies for load flow analysis. The program is written in the Java language for the platform and operating system independence. The software technique, such as Standard Widget Toolkit (SWT), Graphical Editing Framework (GEF), and Java web start, are used for the program. The program also has Graphical User Interface (GUI) to enable users to construct power system displays through simple mouse clicks and map directly into visual power system elements on the screen. The input data of the elements of power system can be entered on the screen. The results of the program cail be checked on the screen.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1999.06a
• /
• pp.151-158
• /
• 1999

This paper describes TVML (TV program Making Language) for automatically generating television programs from text-based script. This language describes the contents of a television program using expression with a high level of abstraction like“title #1”and“zoom-in”. The software used to read a script written in TVML and to automatically generate the program video and audio is called the TVML Player. The paper begins by describing TVML language specifications and the TVML Player. It then describes the“external control mode”of the TVML Player that can be used for applying TVML to interactive applications. Finally, it describes the TVML Editor, a user interface that we developed which enables users having no specialized knowledge of computer languages to make TVML scripts. In addition to its role as a television-program production tool. TVML is expected to have a wide range of applications in the network and multimedia fields.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.10
• /
• pp.271-281
• /
• 2009

In this paper, we propose the enhanced Assessment Model of the Embedded Software Process(MND-ESPAM) which is suitable for the development work of weapons in Korea. In 2008. We developed the MND-ESPAM which is the assessment criteria of software process, but this model is inefficient to apply to Korean military area. Therefore, we elicit and analyze the problems of MND-ESPAM through tow methods. One is to research on the actual condition of the domestic defense industry about software process management. And the other is to apply MND-ESPAM to the defense companies acquiring CMMI level. In order to overcome these problems elicited above, we provide solutions to make MND-ESPAM linked with Software Development Process Guide of Defense Acquisition Program Administration(DAPA) and to systematically strengthen testing activities and to reduce the number of process areas. The proposed model was proved by two objective methods such as checking the coverage with CMMI and whether it is satisfied or not by modified requirements ISO/IEC 14598-3. At last, experts in the field of software process confirmed the effect of MND-ESPAM through applying MND-ESPAM to the defense industry company.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.9
• /
• pp.2384-2392
• /
• 1999

Software engineers are used to analyse the error behavior of computer programs using test cases which are collected for the testing phase when software errors are detected. In actual software testing and debugging, it is important to adopt dynamic slicing technique which is concerned on all the statements to be affected by the variables of current inputs and to use technique of its implementations. The traditional dynamic slicing has focused on the single slicing criterion algorithm. It has been thought that it is needed to develope and implement algorithm for used multiple criteria variables program slicing, which finds every slicing criterion variable where it is used multiple criteria variables. In this paper, we propose an efficient algorithm to make dynamic program slices when it has used multiple criteria variables. The results of the implementation are presented by the making table on execution history and the dynamic dependence graph. Also we can find that the proposed dynamic program slicing approach using multiple criteria variables is more efficient than the traditional single case algorithm on the practical testing environment.

• Journal of The Korean Association of Information Education
• /
• v.25 no.4
• /
• pp.621-632
• /
• 2021

This study is about development and application of a curriculum to implement physical computing education in an online environment for pre-service teachers. First, a 15-week software and physical computing curriculum was designed according to the ADDIE instructional design model. As a tool that can be used online, education was conducted on a program using various sensors using Pocket Code, an EPL based on a smartphone. As a result of the application of the program, Personal efficacy, Pedagogical knowledge, Technology teaching content knowledge, Result expectation, and Student belief were all significantly improved. In the software attitude part, Software interest and Software value part increased significantly, and the Perception of software engineers did not change. In general, in the case of physical computing, it is difficult to execute in an online environment because it involves a lot of manipulation activity. Through various studies that can continue education in a non-face-to-face environment or a blended environment in the post-corona era, it is hoped that it will be possible to provide a high-quality curriculum to pre-service teachers in charge of future education.