• 한국소프트웨어감정평가학회 논문지
• /
• 제16권1호
• /
• pp.21-26
• /
• 2020

The completeness appraisal of software is performed in various forms, such as assessing the completion level in the development process, calculating the defect rate, estimating the development cost, and calculating the redevelopment cost. Along with this, the problem that is often dealt with is estimation of the development time. Even in a dispute over completeness due to delays in software development, issues of calculating an appropriate development time required to develop a delivery software or a development time required for change requests are often included in the appraisal request. In this paper, we introduce the procedure and method for estimating the appropriate project time of software development so that the appraiser can be applied to the appraisal work for determining the completeness. The method is based on the manual for calculating the appropriate project period of software development project.

• 논리연구
• /
• 제17권2호
• /
• pp.323-349
• /
• 2014

이 글에서 우리는 보상 없는 강화 (cfr) $(({\phi}&{\psi}){\rightarrow}({\phi}{\wedge}{\psi})){\vee}(({\phi}{\vee}{\psi}){\rightarrow}({\phi}&{\psi}))$를 갖는 유니놈 논리의 확장에 대해 표준 완전성이 제공될 수 있다는 것을 보인다. 이를 위하여, 먼저 보상 없는 강화를 갖는 유니놈 논리 $UL_{cfr}$을 소개한다. 이 체계에 상응하는 대수적 구조를 정의한 후, $UL_{cfr}$이 대수적으로 완전하다는 것을 보인다. 다음으로, $UL_{cfr}$이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1]에서 완전하다는 것을 Yang (2009)에서의 방법을 사용하여 보인다.

• 한국과학교육학회지
• /
• 제14권3호
• /
• pp.321-329
• /
• 1994

The purpose of this study was to investigate the completeness of educational objectives according to grades, objective domains and content areas, and to inquire the completeness of educational objectives by instructional quality profile and to restate educational objectives on the elementary school science curriculum. The taxonomy as a classification tool was developed in order to classify the science educational objectives. Teacher's guide-books of elementary school science were used to analyze the completeness. The educational objectives were checked using the objective classification tool by 11 experienced specialists in science education. The following are the results of this study. 1. Completeness of unit was shown approximately the 62 percentage in chapters, the 72 percentage in sections and the 87 percentage in periods. 2. Only the related chemistry parts showed that each objective domains were stated evenly. 3. On the whole, the number of understanding(38%) of stated educational objectives was much more than the other domains, such as manual skill(7%), attitudes.interests.appreciations(4%). 4. The elementary school science objectives were restated using the instructional quality profile in order to increase the completeness.

• 논리연구
• /
• 제16권3호
• /
• pp.381-406
• /
• 2013

이 논문은 크립케 스타일의 초완전성 견해가 거짓말쟁이 역설을 적절하게 해소할 수 있는지를 다룬다. 초완전성 견해에 따르면, 참도 거짓도 아닌 문장이 있고, 거짓말쟁이 문장이 바로 그런 문장이다. 크립케의 초완전성 견해는 복수의 문제를 해결하지 못한다는 비판이 제기되었는데, 최근 모들린은 토대론적 의미론을 통해서 복수의 문제를 야기하지 않는 초완전성 견해를 제시할 수 있다고 주장했다. 이 글의 목적은 모들린의 견해를 포함해서 초완전성 견해는 복수의 문제를 해결하지 못하고 진리와 관한 일상적인 직관과 부합되지 않음을 논증하고, 모들린의 견해는 복수의 문제를 피하기 위한 단순한 미봉적 제안일 뿐임을 주장한다.

• 논리연구
• /
• 제23권1호
• /
• pp.1-23
• /
• 2020

이 글에서 우리는 좌, 우 n-멱등 공리를 갖는 미아놈에 기반한 논리를 다룬다. 이를 위하여 먼저 미아놈에 바탕을 둔 좌, 우 n-멱등 공리를 갖는 논리 체계 P^r_nMIAL, P^l_nMIAL을 소개한다. 각 체계에 상응하는 대수적 구조를 정의한 후, 이들 체계가 대수적으로 완전하다는 것을 보인다. 다음으로, 이 논리 체계들이 표준적으로 완전하다는 것 즉 단위 실수 [0, 1에서 완전하다는 것을 제네이-몬테그나 방식의 구성을 사용하여 보인다. 마지막으로 이를 고정점을 갖는 누승적 확장에 대한 연구로 확대한다.

• 한국소프트웨어감정평가학회 논문지
• /
• 제17권2호
• /
• pp.11-17
• /
• 2021

본 연구에서는 감정사례 및 판례를 분석하여, 기존 소프트웨어 완성도 감정으로 분류되어 수행된 완성도감정, 기성고감정, 하자감정 및 비용감정의 문제점을 적시하고, 그 해결 방안을 제시한다. 판례와 법률적 관점에서 완성도와 기성고율은 큰 차이를 가지고 있다. 완성도는 개발프로세스가 종료된 소프트웨어를 대상으로 전제하는 반면, 기성고율 감정은 미완성된 소프트웨어의 개발진척도를 평가하기 때문이다. 종종 소프트웨어 기성고와 관련된 판례에서는 소프트웨어 공학 개발 절차에 따른 단계별 가중치를 인정하여 전체 기성고 또는 완성도를 산정하는 것을 볼 수 있는데, 감정에서는 대부분 기능의 구현-작동여부 만을 완성도 비율 산정의 척도로 삼고 있는 문제도 존재한다. 또한 기존 소프트웨어 완성도 감정사례에서 다루지 않았던 문제 중 하나는 소프트웨어 하자에 대한 책임 소재 분석 및 감정이 언급되지 않고 있는데 반하여, 판례에서는 분쟁이 발생한 원인을 찾아 책임소재를 다투고 있다. 본 논문에서는 위 제기된 문제를 체계적으로 분류하여 소프트웨어 완성도감정과 소프트웨어 기성고감정을 분리할 것을 제안하고 감정 방안을 제시한다.

• Journal of Preventive Medicine and Public Health
• /
• 제33권3호
• /
• pp.313-322
• /
• 2000

Objectives : To estimate mumps incidence during the study period and to evaluate the completeness of case reporting. Methods : Capture-recapture methods, originally developed for counting wildlife animals, were used. The data sources were 1) the National Notifiable Communicable Disease Reporting System (NNCDRS; 848 cases), 2) the School Health Reporting System, temporarily administered by the Division of Education (SHRS; 1,026 cases), and 3) a survey of students (785 cases). We estimated the number of unobserved mumps cases by matching the three data sources and fitting loglinear models to the data. We then determined the estimated total number of mumps cases by adding this to the number of observed cases. Completeness was defined as the proportion of observed cases from each source to the total of estimated cases. Results : The total number of observed cases was 1,844 and the total number of estimated cases was 1,935 (95%, CI: $1,878\sim2,070$). The overall completeness was 43.8% of the NNCDRS, 53.0% of the SHRS, and 40.6% of the survey. However, completeness varied by area and age. Conclusion : Although the completeness of NNCDRS data appeared higher than in the past, it is difficult to generalize this result In Korea, it is possible to estimate the size of health hazards relatively cheaply and quickly, by applying capture-recapture methods to various data using a multiple data collection system.

• Journal of Preventive Medicine and Public Health
• /
• 제33권1호
• /
• pp.31-35
• /
• 2000

Objectives : This study aimed to estimate the completeness of cancer registration with Capture-recapture method. Methods : The study was conducted in the population based cancer registry of Kwangju, Korea, for which there are three main sources of notification: reports by Korean Central Cancer Registry, reports by pathology data, and the others reports by radiology data, death certificates, etc. The defined cases in three sources were matched by 13 digits Resident Register Number. To derive an estimates, log-linear models were applicated. Results : Overall completeness was estimated to be around 93%. There was some variation with age(consistently high levels below age group 60-74 years, a minimum of 88.6% above 75 years). Among the most common cancer sites, estimates of completeness were highest for thyroid cancer(97.1%), while lower estimates of completeness were derived for stomach cancer(92.3%), liver cancer(92.6%). Conclusions : Careful application of Capture-recapture method may provide an alternative to traditional approaches for estimating the completeness of cancer registration in Kwangju city.

• 한국소프트웨어감정평가학회 논문지
• /
• 제15권2호
• /
• pp.9-16
• /
• 2019

한국저작권위원회에 의뢰된 소프트웨어 저작물 감정 대상 중 25% 이상은 소프트웨어 완성도-하자 감정이다. 기존 소프트웨어 완성도-하자 감정 사례의 대부분은 해당 소프트웨어의 기능성에 국한하여 계약서에 포함된 또는 고객이 원하는 요구사항들이 구현되어 작동되는지 확인하는 방식으로 이루어졌다. 본 논문은 소프트웨어 완성도 정의에 부합할 수 있도록, 보다 체계적이고 합리적인 완성도-하자 감정 기법을 제안한다. ISO/IEC 9241.10 표준은 소프트웨어 품질 제고를 위한 설계표준이라 할 수 있다. ISO/IEC 9241.10 표준은 준수되어야 하는 7개 항목을 규정하고 있으며, 작업을 위한 기능상의 완전성과 작업 능률 효율화를 위한 사용상의 완전성을 요구하고 있다. 본 논문에서 제시된 소프트웨어 완성도-하자 감정 방법론은 소프트웨어의 질적 품질에 대한 완성도 감정으로 기존 기능구현-작동 여부 감정 방법론은 보완하고 있다.

• 논리연구
• /
• 제11권2호
• /
• pp.171-197
• /
• 2008

이 논문에서 우리는 [10]에서 멧칼페와 몬테그나에 의해 소개된 몇 체계들에 대한 새로운 표준 완전성 증명을 다룬다. 이를 위해 이 논문은 연관 논리 R-mingle (RM)의 이웃들로 간주될 수 있는 몇몇 퍼지-연관 논리를 연구한다. 우선, 좌-연속 항등적 멱등 유니놈들과 그것들의 잔여(left-continuous conjunctive idempotent uninorms and their residua)의 동어반복을 다루도록 의도된 monoidal uninorm idempotence 논리 MUIL과 그것의 몇몇 확장이 RM의 이웃으로 소개된다. 그리고 그것들에 상응하는 대수적 구조가 정의된 후, 이 체계들을 위한 표준 완전성 즉 단위 실수 [0, 1] 위에서의 완전성이 제공된다.