• Journal of The Korean Association of Information Education
• /
• v.25 no.6
• /
• pp.995-1003
• /
• 2021

As the need for artificial intelligence (AI) education, which will become the core of the upcoming intelligent information society rises, the national level is also focusing attention by including artificial intelligence-related content in the curriculum. In this study, the PASPA education program was presented to enhance students' creative problem-solving ability in the process of solving problems in daily life through supervised machine learning. And Micro:bit, a physical computing tool, was used to enhance the learning effect. The teaching and learning process applied to the PASPA education program consists of five steps: Problem Recoginition, Argument, Setting data standard, Programming, Application and evaluation. As a result of applying this educational program to students, it was confirmed that the creative problem-solving ability improved, and it was confirmed that there was a significant difference in knowledge and thinking in specific areas and critical and logical thinking in detailed areas.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.148-153
• /
• 2015

In our domestic software industries, it is focused on such a high quality development/ testing process, maturity measurement, and so on. But the real industrial fields are still working on a code-centric development. Most of the existing legacy systems did not keep the design and highly increased the code complexity with more patching of the original codes. To solve this problem, we adopt a code visualization technique which is important to reduce the code complexity among modules. To do this, we suggest a tool chaining method based on the existing open source software tools, which extends NIPA's Software Visualization techniques applied to procedural languages. In addition, it should be refactored to fix bad couplings of the quality measurement indicators within the code visualization. As a result, we can apply reverse engineering to the legacy code, that is, from programming via model to architecture, and then make high quality software with this approach.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.3
• /
• pp.73-85
• /
• 2014

As the importance of big data analysis increases to improve the competitiveness of a corporate, a unified big data project development methodology is required in order to study the problem of a corporate in a systematic way and evaluate the problem w.r.t. a business value after solving the problem. This paper propose Scientific Data Anslysis and Development methodology(SDAD) which are integrated methodology of software development and project management for easier application into a field project. SDAD consisits of 6 stages(problem definition stage, data preparation stage, model design stage, model development stage, result extraction stage, service development state), each stages has detailed processes(47) and productions(93). SDAD, furthermore, unified previous ISP, DW, SW development methodologies in terms of the data analysis and can easily interchange the productions with them. This paper, lastly, introduces a way to assign responsible persons for each process and provide communication procedures in RACI chart to improves the efficiency of the interaction among professionals from different subjects. SDAD is applied to a Bigdata project in Korea Employment Information Services institution and the result turned out to be acceptable when evaluated by the supervision.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.251-254
• /
• 2005

소프트웨어 품질의 중요성이 커짐에 따라, 기업들은 품질을 높이기 위해 테스트에 많은 노력을 기울이고 있다. 최근에는 테스트 성과를 높이기 위한 방법중의 하나로 테스트 프로세스 개선이 주목 받고 있다. 이를 위해 기업들은 SW-CMM(Capability Maturity Model for Software), CMMI(Capability Maturity Model Integration)와 같은 일반적인 프로세스 개선 모델들이나, TMM (Test Maturity Model), TPI (Test Process Improvement Model), TCMM (Testing Capability Maturity Model)과 같은 테스트 프로세스 개선 모델들을 적용하고 있다. 그러나 일반적인 프로세스 개선 모델들은 테스트 관련 이슈를 충분히 다루고 있지 않고, 테스트 프로세스 개선 모델들은 구조가 불완전하거나 내용이 충분하지 않아 적용 시 많은 어려움이 있다. 이에 본 논문에서는 TMM 과 CMMI 를 기반으로 조직들의 테스트 프로세스 확립이나 개선을 지원할 수 있는 새로운 테스트 프로세스 성숙도 모델인 TPMM(Test Process Maturity Model)을 연구, 개발하였다. 개발된 TPMM 을 통해 조직에서 테스트 프로세스를 개선하고, 심사하는 것을 지원할 수 있을 것으로 기대된다.

• Journal of Engineering Education Research
• /
• v.25 no.6
• /
• pp.58-68
• /
• 2022

This paper aims to prepare basic design education materials explaining the design process of egg drop device by incorporating critico(-creative) thinking. To this end, in this paper, by utilizing the creative problem solving process and the elements and standards of critical thinking, 'the five-step creative engineering design education guidelines' have been prepared so that engineering freshmen can effectively participate in engineering design projects without major knowledge. We would like to apply them to the egg drop device design. The egg drop device design, which is experiment to make and drop a drop device that can protect an egg from breaking when it is dropped freely from high places, is an engineering design project that is widely used not only in elementary, middle and high school science events but also in engineering education courses under the name of 'stunt egg'. Perhaps the basic design education material on the egg drop device design incorporating critico(-creative) thinking in this paper will contribute to incorporating critico(-creative) thinking into engineering education, as well as to achieving the educational goals of the basic design subject.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.123-130
• /
• 2007

In this paper, We define convert rules from objects and relation presented in object model to the state and operation domain in formal specification. Namely, object and relation in information model converted to state domain in formal specification. State, event and behavior converted to operation domain. And that way informal object model change to formal language, it can be verify through formal method. Verification process make an offer convenience and confidence in software development early phase. And we implement simulation tool in order to verification method of formal specification and to consistency verified model between user's requirement. It is possible to select the suitable model and reduce the costs and efforts on software development.

• International journal of advanced smart convergence
• /
• v.10 no.3
• /
• pp.257-278
• /
• 2021

As the definition of the vendor-oriented implementation method, which was utilized in adopting an ERP system, has been centered around the project construction business, it was difficult for the EPR adopting organization to systematically prepare ERP projects and have enough deliberative opportunities to change-related policies. Furthermore, this method does not have a fully standardized construction process. Accordingly, by defining an organization that wants to adopt an ERP system as a customer, this paper develops the customer-based ERP construction process framework that assists both customers and developers who construct the system. For this purpose, this paper reviews the previous research and collects the construction processes of the commercial ERP SW vendor and ERP construction cases while proposing the three-layer process framework to construct ERP through the KJ method. The ERP process framework consists of 7 processes, 32 activities, 141 tasks while providing definitions for concepts of each component. Furthermore, the proposed processes and phases were set in order of the recommended execution, while the activities were suggested as an open-ended type so that the application and usability can be increased and polished by reflecting experts' opinions. The contribution of this study is to standardize the ERP project process by transforming the previous supplier-based ERP construction method into the customer-based one while providing important procedure and activity frameworks that apply to diverse ERP solutions per vendor. At the same time, this study provides an theoretical foundation to develop the construction process for the customer -based Cloud ERP. In practice, At the beginning of the ERP system construction project, it provides communication or process tailoring tools for the stakeholder.

• Journal of Aerospace System Engineering
• /
• v.15 no.3
• /
• pp.71-78
• /
• 2021

Since most functions of modern aircraft are controlled by software, software errors are directly related to aircraft safety. The criterion in Chapter 15 of the MIL-HDBK-516C addresses safe development and verification of military aircraft software. As the U.S. Air Force repeatedly experienced non-compliance with Chapter 15 criterion of the MIL-HDBK-516C, it published an Airworthiness Circular (AC-17-01) as a guide to meeting the criterion. In this paper, Chapter 15 of MIL-HDBK-516C, AC-17-01 and the SW Qualification Guideline (DO-178C) as applied by the Federal Aviation Administration are compared and analyzed. For the analysis, a matching ratio formula between the MIL-HDBK-516C criteria specified in AC-17-01 and the DO-178C specified in MIL-HDBK-516C criteria is defined. The sections that satisfy MIL-HDBK-516C criterion are derived when AC-17-01 or DO-178C matches. Based on the analysis results, the aircraft software development process is established and examples of application of Chapter 15 of MIL-HDBK-516C are addressed.

• Proceeding of EDISON Challenge
• /
• 2017.03a
• /
• pp.511-515
• /
• 2017

Various walking robot platforms have been developed to carry out missions such as explorations, pass of obstacle or inspections of dangerous environments. In this work, a four legs mechanism based on Jansen mechanism is developed, which can trace a certain line. In order to maximize the tracing speed, mechanism design is performed in multiple phases using m.sketch, EdisonDesign and Arduino programs. In design process, control of power path and optimization of the locus of legs(GL/GAC) are found to be most important. A prototype model is constructed and test run to check the validity of the design optimization.

• Journal of Information Technology Services
• /
• v.5 no.3
• /
• pp.83-97
• /
• 2006

The current software company report system in Korea has many problems in its efficiency and effectiveness. In this paper, we investigated the system by surveying the contracting officials and contractors in software development. By analyzing current status and some problems with the survey results, we derived an feasible improvement scheme for the software company report system. We suggested efficient procedures and reporting items for the registration process, some benefits for contractors, and the short-term direction for its implementation.