• Journal of Educational Research in Mathematics
• /
• v.9 no.2
• /
• pp.419-438
• /
• 1999

This paper explored the impact of dynamic geometry software such as CabriII, GSP on student's understanding deductive justification, on the assumption that proof in school mathematics should be used in the broader, psychological sense of justification rather than in the narrow sense of deductive, formal proof. The following results have been drawn: Dynamic geometry provided positive impact on interacting between empirical justification and deductive justification, especially on understanding the necessity of deductive justification. And teacher in the computer environment played crucial role in reducing on difficulties in connecting empirical justification to deductive justification. At the beginning of the research, however, it was not the case. However, once students got intocul-de-sac in empirical justification and understood the need of deductive justification, they tried to justify deductively. Compared with current paper-and-pencil environment that many students fail to learn the basic knowledge on proof, dynamic geometry software will give more positive ffect for learning. Dynamic geometry software may promote interaction between empirical justification and edeductive justification and give a feedback to students about results of their own actions. At present, there is some very helpful computer software. However the presence of good dynamic geometry software can not be the solution in itself. Since learning on proof is a function of various factors such as curriculum organization, evaluation method, the role of teacher and student. Most of all, the meaning of proof need to be reconceptualized in the future research.

• Journal of the Korea Safety Management & Science
• /
• v.7 no.4
• /
• pp.141-163
• /
• 2005

The international SPICE (Software Process Improvement and Capability determination) Project ISO/IEC 15504(SPICE : Software Process Improvement and Capability determination) is an emerging International Standard on SPA(Software Process Assessment). A prime motivation for developing this standard has been the perceived need for an internationally recognized software process assessment framework that pulls together the existing public and proprietary models and methods. A SPICE assessment can be considered as one of representative SPA model since assessors assign ratings to indicators and metrics to measure the capability of software process. But this models doesn't provide a systematic measurement procedures and dynamic method for SPI(Software Process Improvement). Through the evaluation of SPICE is capable of providing a substantiated basis for using the notion of capability, as well as providing information for nacessary improvements to the standard using 6sigma process. As a result, this paper propose a measurement procedure and guidelines for application of 6sigma process to guarantee the reliability in SPI and suggest the structure to support SPI on overall organization.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.12
• /
• pp.225-232
• /
• 2009

Function Point Method have been applied to measure software size estimation in industry because it supports to estimate the software's size by user's view not developer's. However, the current function point method has some problems for example complexity's upper limit etc. So, In this paper, an enhanced function point model. Micro FP model, was suggested. Using this model, software effort estimation can be more efficiently because this model has some regression equation. This model specially can be applied to estimate in detail the large application system's size Analysis results show that measured software size by this Micro FP model has the advantage with more correlative between the one of LOC, as of 10 applications operated in an large organization.

• Proceedings of the Safety Management and Science Conference
• /
• 2003.11a
• /
• pp.167-172
• /
• 2003

This study reviews the revisions and updates to the Release 3.5 version of the TL 9000 Measurements Handbook. This paper introduces the new organization of QuEST Forum Work Groups(WGs) and how to apply TL 9000 standards in software product lifecycle.

• Korean Management Science Review
• /
• v.10 no.1
• /
• pp.157-170
• /
• 1993

This paper describes how Taegu-Prince Hotel develops and operates Hotel Information System. This paper especially explains the organization of Taegu-Prince Hotel, the configurations of hardware and software, and the effects and problems of Hotel Information System.

• The Journal of Information Technology
• /
• v.4 no.4
• /
• pp.1-14
• /
• 2001

The Purpose of this study is to determine whether the fitness between the formalization of logistics organization and information technology(IT) activities enhances the logistics performance. Successful participation in the global marketplace demands the formalization of the logistics organization and the integration of a firm's logistics activities, which can be enhanced by electronic linkage. The electronic linkage is improved by IT activities, which are divided into three subcontracts. Those are hardware system developments, software developments and system operation. Specifically this study tries to answer the following questions: First, relationship of the formalization of logistics organization iud logistics performance, second, relationship of IT activities and logistics performance.

• The Journal of Korean Academic Society of Nursing Education
• /
• v.25 no.1
• /
• pp.148-158
• /
• 2019

Purpose: This study is a descriptive study to explore the effects of work performance, perceived organization support, and personal coping resources on job satisfaction of infusion nurses in Korea. Methods: The participants of this study were 155 infusion nurses in 19 general hospitals and advanced general hospitals in Korea. Data were collected from January to March 2018 using a structured questionnaire and analyzed with the SPSS software version 23. Results: The participants' job satisfaction score was 3.01, their work performance score was 3.60, their perceived organization support score was 2.83, and their personal coping resources score was 3.53. The regression model for job satisfaction was significant (F=56.10, p<.001), and the total explanatory power was 52%. The variables affecting job satisfaction were personal coping resources (${\beta}=.44$, p<.001), perceived organization support (${\beta}=.42$, p<.001), and working locations (${\beta}=.13$, p=.028). Conclusion: To increase job satisfaction of infusion nurses, boosting strategies for personal coping resources, perceived organization support, and examination of work performance characteristics of each local area should be considered. In addition, development of customized programs is needed, focusing on infusion nurse personnel and job characteristics.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 1998.10a
• /
• pp.613-622
• /
• 1998

This study investigates the factors that affect the adoption of object orientation . One major research question is addressed : What are the factors that significantly influeence the adoption of object orientation ? This study especially explores the impact of independent variables on the level of actual usage of object orientation. The independent variables are classified into four categories as follow ; (1) Individual factors : amount of experience in using the structures methods and level of openness toward new technologies ; (2) Managerical factors : perceived management support and training : (3) Organizatinal factors : number of IS professionals in the working group and that in organization ; and (4) Environmental factors ; accessibility to technology champions and software hardware environment supporting object orientation. A Questionnaire measuring the above variables was utilized to investigate the effect of these variables on the dependent variable, the actual usage of object orientation. The structured questionnaire was administered to Data Processing Management Association (DPMA) professionals in U. S. The results of this study revealed several important findings with most results being consistent with expectations based on related theory. The personal openness toward new technologies, perceived management support, training, and hardware/software environment were highly related to the usage of object orientation. This study suggested an empiriclal basis for understanding the early adoption of object orientation in organization.

• The Journal of Information Technology and Database
• /
• v.3 no.2
• /
• pp.97-118
• /
• 1996

Information systems quality engineering is one of the most problematic areas in practice and research, and needs cooperative efforts between practice and theory [Glass, 1996]. A model for evaluating the quality of system development process and ensuing success is proposed based on information processing theory of project unit design. A nomological net among a set of quality variables is identified from prior research in the areas of organization science, software engineering, and management information systems. More specifically, system development success was modelled as a function of project complexity, system development modelling environment, user participation, project unit structure, resource availability, and the level of iterative nature of development methodology. Based on the model developed from the information processing theory of project unit design in organization science. appropriate quality metrics for each variable in the proposed model are matched. In this way, a framework of relevant systems development and success quality metrics for controlling systems development processes and ensuing success is proposed. The causal relationships among the constructs in the proposed model are proposed as future empirical research for academicians and as managerial tools for quality managers. The framework and propositions help quality manager to select more parsimonious quality metrics for controlling information systems development processes and project success in an integrated way. Also this model can be utilized for evaluating software quality assurance programmes, which are developed and marketed by many vendors.

• Soft Computing and Machine Intelligence
• /
• v.1 no.1
• /
• pp.1-10
• /
• 2021

Analysis and Tracking of bug reports is a challenging field in software repositories mining. It is one of the fundamental ways to explores a large amount of data acquired from defect tracking systems to discover patterns and valuable knowledge about the process of bug triaging. Furthermore, bug data is publically accessible and available of the following systems, such as Bugzilla and JIRA. Moreover, with robust machine learning (ML) techniques, it is quite possible to process and analyze a massive amount of data for extracting underlying patterns, knowledge, and insights. Therefore, it is an interesting area to propose innovative and robust solutions to analyze and track bug reports originating from different open source projects, including Mozilla and Eclipse. This research study presents an ML-based classification model to analyze and track bug defects for enhancing software engineering management (SEM) processes. In this work, Artificial Neural Network (ANN) and Naive Bayesian (NB) classifiers are implemented using open-source bug datasets, such as Mozilla and Eclipse. Furthermore, different evaluation measures are employed to analyze and evaluate the experimental results. Moreover, a comparative analysis is given to compare the experimental results of ANN with NB. The experimental results indicate that the ANN achieved high accuracy compared to the NB. The proposed research study will enhance SEM processes and contribute to the body of knowledge of the data mining field.