• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

• The Journal of the Korea Contents Association
• /
• v.8 no.7
• /
• pp.66-74
• /
• 2008

Criticality prediction models to identify most fault-prone modules in the system early in the software development process help in allocation of resources and foster software quality improvement. Many models for identifying fault-prone modules using design complexity metrics have been suggested, but most of them are training models that need training data set. Most organizations cannot use these models because very few organizations have their own training data. This paper builds a prediction model based on a well-known supervised learning model, error backpropagation neural net, using design metrics quantifying SDL system specifications. To solve the problem of other models, this model is trained by generated virtual training data set. Some simulation studies have been performed to investigate feasibility of this model, and the results show that suggested model can be an alternative for the organizations without real training data to predict their software qualities.

• Journal for History of Mathematics
• /
• v.24 no.2
• /
• pp.47-59
• /
• 2011

Various mathematical models have been widely studied recently in both fields of mathematics and ecology since they help us understand the dynamical process of population changes in biological species living in a certain habitat and give useful predictions. The world population model proposed by Malthus, a British economist, in his work 'An Essay on the Principle of Population' published in the period of 1789~1826 is one of the early mathematical models on population changes. Malthus' models and the carrying capacity models of Verhulst in 1845 were based on exponential type functions. The independent research field of mathematical ecology has been started from Lotka's works in 1920's. Since then various different mathematical models has been proposed and examined. This article mainly deals with single species population change models expressed in terms of ordinary differential equations.

• Journal of the Korean Society for information Management
• /
• v.21 no.1
• /
• pp.1-22
• /
• 2004

Along with the increased use of e-journal since mid of 1990's, there has been a sharp increase of license contracting in the library. However the librarians who have no enough knowledge nor technology to handle the licensing are experiencing difficulties in the process. The study intended to help them understand the practical problems of license contracting between library and vendors, and proposed guidelines for developing model license for e-journal based on the licensing principles of IFLA and ALA.

• The Journal of the Korea Contents Association
• /
• v.13 no.11
• /
• pp.533-540
• /
• 2013

Currently, as the Android platform only supports single-user protection, it needs security solution for multi-users. Specially, it has to protect specific applications which have personal and financial information, and be available to support authority management for contents access. Thus, this paper proposes an integrated user authority manger model for the Android platform. It helps application authority which is capable to divide into three statuses: installation, execution, deletion with the help of information technology.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.5
• /
• pp.492-496
• /
• 2008

Much research has been conducted to describe metrics for UML models by extending OCL that was proposed to define structural constraints. However, metrics descriptions in OCL are complex, so they are very difficult to understand. This paper defines MDL4UML by abstracting the conventional OCL. By abstracting OCL constructs, the MDL4UML can produce simpler descriptions of metrics, which can help metrics designer to understand and describe metrics.

• The Research Journal of the Costume Culture
• /
• v.14 no.3 s.62
• /
• pp.483-496
• /
• 2006

The purpose of this study was to develop a pragmatic fashion internship program as a following study of 'An analysis of the consciousness of the professors and college students for the fashion industry internship'. The methods of the quantitative analysis and some case studies were used for this study. The results of this study were as follows : Internship program has 6 steps ; ready, introduction, selection, operation, reputation, management. It will help professors and college students to execute the program systematically. The contents of the fashion internship program model for professors were as follows: 8 recruiting methods to find internship companies, the contents of the internship agreement, 6 types of internship, the contents of the recommendation letter, advanced education contents for a fashion internship, e-mentoring program model, a curriculum of the cultural study and the major course, evaluation standard elements of the intern students, the methods of evaluation etc.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.6
• /
• pp.1614-1618
• /
• 2008

This paper propose a novel yield difference model according to layout modification. The difference of average number of faults by layout modification to increase or decrease spaces between geometries is formulated for short faults and open faults. Complex modification including wire bending with jogs is also modeled by dividing patterns into segments and redefining spaces and widths. This model can help to monitor the yield change and to generate a cost function of defect-limited yield quickly.

• Korean Journal of Health Education and Promotion
• /
• v.25 no.5
• /
• pp.21-38
• /
• 2008

Objective: This study examined the use of mental health helping systems among college students in Korea. A behavioral model of health service utilization was applied to examine factors influencing different types of helping systems. Methods: A total of 454 college students from four universities participated in the survey. A self-administered questionnaire measuring help-seeking behaviors including formal health and mental health services, informal helping system, peer group, and family support was used. Results: Respondents frequently turn to family members and peer group when in need, and age, sex, mental Health status, and attitude and knowledge on mental illness were significant factors affecting help-seeking behaviors of Korean students. While older students and those with more severe symptoms were more likely to seek help from formal resources, students with more severe symptoms were less likely to seek help from informal resources. Male students and those with negative attitude toward mental illness were less likely to ask peer groups for help. Conclusions: Study results indicate that informal resources and peer groups can be significant sources of social support for individuals in their late adolescence and young adulthood, however, their role as gateways to professional help is limited. Student counseling centers should take on a more active role in reaching out; implications for developing peer leaders as counselors and self-help groups are discussed.

• The Journal of the Korea Contents Association
• /
• v.15 no.10
• /
• pp.561-569
• /
• 2015

Many start-ups have many realistic hardships in getting management diagnosis about whether their business model are properly going. For this reason, there is the need for an easy and simple method that makes it possible to conduct a strategic management through the analysis and management diagnosis of the business model. The Business Model Canvas(BMC) has been popularized as a tool to help entrepreneurs describe, design, challenge, invent and pivot their business model. This model gives a framework to describe the most important building blocks(9 blocks) of existing business. Entrepreneurs can make their own business analyses and craft their own solutions through using this model. In this study, we conducted consulting by using the BMC on the NARUATO which is a small start-up in the healthy food industry. This case study can use as a learning material for entrepreneurship education.