• Journal of Information Processing Systems
• /
• v.15 no.3
• /
• pp.570-592
• /
• 2019

The Event-B design pattern is an excellent way to quickly develop a formal model of the system. Researchers have proposed a number of Event-B design patterns, but they all lack formal behavior semantics. This makes the analysis, verification, and simulation of the behavior of the Event-B model very difficult, especially for the control-intensive systems. In this paper, we propose a novel method to transform the Event-B synchronous control flow design pattern into the labeled transition system (LTS) behavior model. Then we map the design pattern instantiation process of Event-B to the instantiation process of LTS model and get the LTS behavior semantic model of Event-B model of a multi-level complex control system. Finally, we verify the linear temporal logic behavior properties of the LTS model. The experimental results show that the analysis and simulation of system behavior become easier and the verification of the behavior properties of the system become convenient after the Event-B model is converted to the LTS model.

• Proceedings of the Korea Society of Design Studies Conference
• /
• 2001.10a
• /
• pp.11.1-11
• /
• 2001

• Journal of Convergence for Information Technology
• /
• v.8 no.1
• /
• pp.153-160
• /
• 2018

This study suggests the development and the application of cognitive apprenticeship to instructional design for the 'computer and presentation skill' among the liberal arts computer courses in H university. The purpose of this paper is to show effects of instructional design on learning of the liberal arts computer courses employing cognitive apprenticeship, and examine earner's satisfaction of instructional planning, lecture contents, and teaching methods, which are evaluation elements of the content evaluation area. As a result of the study, cognitive apprenticeship theory has improved the satisfaction of the lesson plan, lecture contents and teaching method. Therefore, this study has significance in that it recognizes that cognitive apprentice theory is effective for general computer class. It is expected that it will be applied to effective teaching methods of liberal arts computer related subjects in the future.

• Journal of the Ergonomics Society of Korea
• /
• v.29 no.4
• /
• pp.693-699
• /
• 2010

Korea has been took the top ranking in the global shipbuilding industry in terms of new orders, order backlogs and the volume of vessels for several years. However, the domestic small- and medium-scale shipbuilders currently face imminent threat from China and new challenge to focus on development of high value-added ships. So far, the marine leisure industry of Korea has been showed weak global competitiveness and there were few attempts to design and develop leisure boats and yachts. We describe the digital design process of leisure boat exterior that could reflect user's sensibilities and feelings of entire forms of the products. This design process contains stepwise sensibility evaluation via web and provides designers with various and fast feedbacks about their design outputs in each design stage.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.1
• /
• pp.38-44
• /
• 1996

The CAD system for design and drawing of limit gauges was constructed and developed. This system was made by Visual Basic program. Using this system, drawings together with concerned data for the manufacturing of limit gauges are generated on the screen, file and printer. The data base was constructed by referring handbooks, textbooks, relevant standards and regulations. This system was proved a powerful tool for design and drawing of limit gauges by actual applications. The output drawings from this system are in good agreement with the drawings and data of the concerned standards and regulations.

• The Journal of Korean Academy of Prosthodontics
• /
• v.57 no.1
• /
• pp.57-65
• /
• 2019

Computer aided design and manufacturing and implant surgery using a guide template improve restoration-driven implant treatment procedures. This case utilized those digital technologies to make definitive prostheses for a patient. According to the work flow of digital dentistry, cone beam computed tomography established the treatment plan, which was followed to make the guide template for implant placement. The template guided the implants to be installed as planned. The customized abutments and surveyed fixed restorations were digitally designed and made. The metal framework of the removable partial denture was cast from resin pattern using an additive manufacturing technique, and the artificial resin teeth were replaced with the zirconia onlays for occlusal stability. These full mouth rehabilitation procedures provided functionally and aesthetically satisfactory results for the patient.

• Journal of Biosystems Engineering
• /
• v.13 no.4
• /
• pp.46-55
• /
• 1988

The objective of this study was to develop a computer measurement and control system which enable it possible to manage the natural air rough rice drying and storage properly and safely. The following contents of work were taken in this study in order to fulfill the above goal: 1) Design and construction of measurement system which can measure the rough rice drying conditions automatically and transfer them to computer system for data processing. 2) Development of a management software which can determine the need of fan operation by the analysis of drying and/or storage conditions. 3) Design and construction of a control system which deliver the computer decision of fan operation and make it on and off. 4) Technical and economical analysis of the computer measurement and control system development by the comparison experiments of the computer management and of the manual.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.69-76
• /
• 2004

E-learning is the application of e-business technology and services to teaching and learning. It use of new multimedia technologies and Internet to improved the quality of learning by facilitating access to remote resources and services. In this paper, we show a web-based test system, which is carefully designed and implemented based on the real TOEFL CBT. The system consists of a contents delivery mechanism, computer-adaptive test algorithm, and review engine. In this papepr, we describe design and implementing issues of web-based test systems.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.3 no.2
• /
• pp.61-72
• /
• 1983

This paper is a study on the plotting of engineering survey plan using Computer Graphic System. This study aims for a more systematic method in the computer aided design. Plotting of lines, characters in engineering survey plans are handled in a more systematic and effective way by means of the program developed in this paper.

• Journal of the Korea Society of Computer and Information
• /
• v.21 no.8
• /
• pp.65-75
• /
• 2016

In this paper, we present a novel approach to help MSR researchers obtain necessary data with a tool, termed General Purpose Extractor for Source code (GPES). GPES has a single function extracts high-quality data, e.g., the version history, abstract syntax tree (AST), changed code diff, and software quality metrics. Moreover, features such as an AST of other languages or new software metrics can be extended easily given that GPES has a flexible data model and a component-based design. We conducted several case studies to evaluate the usefulness and effectiveness of our tool. Case studies show that researchers can reduce the overall cost of data analysis by transforming the data into the required formats.