• Structural Engineering and Mechanics
• /
• 제10권2호
• /
• pp.93-110
• /
• 2000

An alternative interpretation of the completeness requirements for the higher order elements is presented. Apart from the familiar condition, $\sum_iN_i=1$, some additional conditions to be satisfied by the shape functions of higher order elements are identified. Elements with their geometry in the natural form, i.e., without any geometrical distortion, satisfy most of these additional conditions inherently. However, the geometrically distorted elements satisfy only fewer conditions. The practical implications of the satisfaction or non-satisfaction of these additional conditions are investigated with respect to a 3-node bar element, and 8- and 9-node quadrilateral elements. The results suggest that non-satisfaction of these additional conditions results in poorer performance of the element when the element is geometrically distorted. Based on the new interpretation of completeness requirements, a 3-node element and an 8-node rectangular element that are insensitive to mid-node distortion under a quadratic displacement field have been developed.

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

본 논문에서는 SW감정에서 많이 사용되는 완성도와 기성고의 용어의 정의를 재조명하고, 최근 SW분쟁에서 요구하는 완성도와 기성고의 의미와 산출 방법을 제시한다. 일반적으로 SW감정에서의 완성도는 최종 구축/구현된 SW의 기능상의 완성된 정도를 의미하고 있으며, 기성고는 개발비를 정산하기 위하여 현재까지 완료된 산출물 또는 기능을 기반으로 비용을 산출하는 것을 의미한다. 따라서 완성도는 최종적으로 개발 완료된 제품/산출물의 기능이나 인터페이스를 기준으로 판단하며, 기성고는 SW개발 단계별로 산출물 및 투입된 비용으로 산출된다. 최근에는 SW감정이 복잡해지고 완성도와 기성고에 대한 요구사항이 구체적으로 변화되고 있으므로, 본 논문에서는 각 용어의 의미와 목적을 다시 살펴보고 그 산출 방법을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.731-740
• /
• 2008

철도 제어 시스템은 대표적인 안전철수 시스템이다. 국제 규격의 컴퓨터 기반의 철도 제어 시스템을 개발하기 위해서 정형 기법을 이용한 요구사항 명세와 검증이 요구된다. 본 논문에서는 정형 기법을 사용하여 요구사항 명세를 작성하는 지침서(guideline)을 개발하고, 컴퓨터 기반의 열차 제어 장치 시스템에 대한 실제 적용 사례를 제시한다. 정형 명세를 위해 상태차트(statechart)와 Z를 사용하고, 정형 명세의 일치성(consistency)과 완전성(completeness)을 검증한다.

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

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

• 정보처리학회논문지D
• /
• 제16D권2호
• /
• pp.201-212
• /
• 2009

소프트웨어 개발시 요구사항의 일관성 및 완전성을 검증하기 위해 다양한 방법으로 산출물을 추적하는데, 기존 연구에서는 추적메타모델 또는 자동화된 도구를 제시하되 구체적인 추적산출물 및 추적요소 선정이 미흡하며, 추적요소를 제시하는 추적테이블 연구의 경우는 전체공정이 아닌 일부 공정만을 대상으로 추적하고 있다. 이에 본 연구는 일부 공정만 추적한 저자의 이전 추적테이블연구에 이어 프로젝트시작단계에서 아키텍쳐단계, 인도단계까지의 산출물을 추적한 확장된 요구사항추적테이블을 제시하였다. 또한 추적테이블이 확장됨에 따라 추적필드가 많아져서 추적이 복잡해지는 문제점을 해결하기 위해 개발프로세스단위로 통합/분리할 수 있는 추적테이블의 정규화 방안을 제시하였다. 본 연구를 D사의 H시스템개발프로젝트에 적용함으로써 연구의 적용가능성을 검증하고 요구사항의 오류를 쉽게 발견하는 추적의 효과를 확인하였다. 이에 연구를 통해 요구사항의 일관성과 완전성을 검증하는 추적의 정확성을 높여 소프트웨어 개발의 실패를 최소화하고자 하였다.

• Structural Engineering and Mechanics
• /
• 제17권6호
• /
• pp.767-788
• /
• 2004

The classical 8-node isoparametric serendipity element uses parametric shape functions for both test and trial functions. Although this element performs well in general, it yields poor results under severe mesh distortions. The distortion sensitivity is caused by the lack of continuity and/or completeness of shape functions used for test and trial functions. A recent element using parametric and metric shape functions for constructing the test and trial functions exhibits distortion immunity. This paper discusses the choice of parametric or metric shape functions as the basis for test and/or trial functions, satisfaction of continuity and completeness requirements, and their connection to distortion sensitivity. Also, the performances of four types of elements, viz., parametric, metric, parametric-metric, and metric-parametric, are compared for distorted meshes, and their merits and demerits are discussed.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권5호
• /
• pp.419-430
• /
• 2007

소프트웨어 개발시 요구사항이 시스템에 제대로 반영되어 개발되고 있는지를 추적하는 일은 아주 중요하다. 이에, 본 연구에서는 추적테이블을 이용하여 요구사항을 추적하는 방법을 연구하였다. 본 연구에서 제시한 추적테이블에서는 제안요청서, 제안서 등의 내용을 명확히 명세하게 함으로써 요구사항의 발생근거를 명확히 하고, 산출물마다 요구사항 식별코드를 매핑하게 하여 산출물간의 일관성 및 완전성 검증하는데 용이하게 하였다. 아울러, 본 연구를 진행하면서 마르미-III v.4.0 방법론의 요구획득단계 산출물중에 추가하거나 보완이 필요한 요소를 발견하게 되었기에 개선된 추적테이블과 함께 부가적인 연구결과로 제시하고자 한다. 본 연구에서 제시한 개선된 추적테이블을 이용하여 산출물을 검증함으로써 소프트웨어 개발시 요구사항 관리 부족으로 일어나는 각종 위험 및 문제요소를 줄일 수 있을 것이다. 또한 마르미-III v.4.0 방법론의 요구획득 단계 산출물을 본 연구의 추적테이블 작성방법에 따라 추가.보완하게 함으로써 마르미-Ⅲ 방법론의 활용을 높이고자 한다.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• 무역상무연구
• /
• 제13권
• /
• pp.581-603
• /
• 2000

Beneficiary must present all documents stipulated in the Credit. If the documents conform in all respects with the terms and conditions of the Credit, beneficiary has a right to payment from an issuing or confirming bank. And banks must examine all documents presented by beneficiary for taking up the documents. If the documents appear on their face not to be in compliance with the terms and conditions of the Credit, banks may refuse to take up the documents. But standard for compliant documents with the terms and conditions of the Credit in the UCP or Section 5 of UCC is unclear. Because UCP Article 13(a) provides merely that banks must examine all documents stipulated in the Credit ${\cdots}$ to ascertain whether or not they appear, on their face, to be compliance with the terms and conditions of the Credit. ${\cdots}$ Documents which appear on their face to be inconsistent with one another will be considered as not appearing on their face to be in compliance with the terms and conditions of the Credit. Also UCC Section 5-108(a) provides merely that. ${\cdots}$ an issuer shall honor a presentation that, ${\cdots}$ appears on its face strictly to comply with the terms and conditions of the letter of credit. All problems are not resolve with easy by these regulations. Accordingly, I examined requirements for compliant documents with the terms and conditions of the Credit on the basis of the UCP and cases. To analyse this, I divided into three requirements ; (1) Completeness, (2) Regularity, (3) Linkage.

• 품질경영학회지
• /
• 제29권2호
• /
• pp.120-130
• /
• 2001

In this paper, the QFD(quality function deployment) technique is used to acquire the quality requirements of package software which is sold in commercial software shop. To select the principal quality characteristics of package software, an user survey was conducted for a quality model developed based on the international standards and the previous research. The software user is divided into three groups: the general user, the expert, and the developer. Based on the survey results, the top 10 quality characteristics are selected including accuracy, suitability, installability, de-installability, and maturaty. Then, the QFD technique is applied to choose the software quality attributes which have strong correlation with the selected quality characteristics, some of which are traceability, accuracy, modularity, completeness, and self-descriptiveness. The developed procedure can be used in evaluating the quality of package software with lower costs and efforts.