• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.869-882
• /
• 2004

본 논문에서는 정형방법론의 일관성 검사방법을 유스케이스 모델링에 적용함으로써 논리적으로 일관되고 구조화된 요구사항 모델을 생성할 수 있는 방안을 제안하였다. 제안된 방안을 통해 서로 중복되거나 충돌할 수 있는 다중 사용자관점의 부분적인 요구사항들을 구조화된 요구사항 모델로 통합할 수 있다. 요구사항 모델의 구조는 문맥목표와 관심영역의 중복구조를 통하여 분석되며, 요구사항의 모델의 일관성은 요구사항 통합의 수단으로 요구사항 명세의 중복관계에 기반한 일관성 검사방법을 사용함으로써 획득된다. 제시된 방법을 사례분석에 적용한 결과 제안된 방안이 요구사항의 중복관계 및 불일치를 도출할 수 있을 뿐만 아니라 다중 사용자관점의 부분적인 요구사항들을 일관성을 갖는 통합된 요구사항 모델로 전환함으로써 소프트웨어의 행위와 기능을 명확하게 규명할 수 있음을 보여 주었다. 제안된 방안을 통하여 개발 초기단계의 유스케이스 모델링에 있어서 요구사항 불일치 도출능력을 강화할 수 있으며, 고객만족을 위해 사용자와 개발자간의 의사소통을 촉진할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.419-419
• /
• 2000

This paper describes a requirement analysis for automotive engine design using a computer aided systems engineering tool RDD-100. Because the engine is a complex system with many subsystems, there are many needs of stakeholder throughout the life-cycle of the engine. The originating requirements have been derived from the needs and decomposed into leaf-node requirements with the tool. Many requirement errors have been detected during the decomposition process and resolved by modifying the requirements. Inconsistency problems have been also resolved with the tool, Analysis of engine requirements using RDD-100 brings clarity to engine design early in the development process.

• 정보처리학회논문지D
• /
• 제15D권4호
• /
• pp.505-512
• /
• 2008

임베디드 시스템에 대한 RBT(Requirement-Based Testing)를 수행하기 위하여 정확한 요구사항 명세서가 존재해야 한다. 그러나 고객이 자연어로 작성하는 요구사항은 모호성, 부정확성, 불일치성을 가지고 있다. 이를 해결하기 위해서 UML, Simulink등의 모델링 언어를 이용하여 요구사항을 다시 모델링 하지만, 이 과정에서 요구사항을 use-case단위로 조합하고 재해석하는 단점이 생겨나게 되었다. 본 논문에서는 임베디드 시스템에 대한 고객의 요구사항을 use-case단위의 조합이나 재해석이 필요 없이 곧바로 모델로 표현할 수 있는 그래픽 언어를 이용한 1:1 요구사항 모델링 기법을 소개한다. 제안한 방법은 1) 임베디드 시스템의 요구사항을 자연어가 아닌 의미가 분명한 그래픽 언어를 이용하여 표현하고, 2) 하나의 요구사항을 하나의 그래픽 모델로 표현한다. 또한 제안한 방법은 시스템의 입출력을 기반으로 "what-to-do"만을 기술하기 때문에 상위레벨의 요구사항이나 하위레벨의 요구사항 모두에 적용할 수 있는 기법이다. 이 기법이 적용된 REED라는 도구를 통하여 실제 프로젝트에 적용한 예를 살펴본다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2001년도 추계학술대회 논문집
• /
• pp.35.1-40
• /
• 2001

This study is on the behavior analysis which can define and verify a system requirement through a behavior diagram for High speed rail system. The model considered in this study is limited to the preconditioning control of the control system specification for HSRS. To build an executable model, requirements should be decomposed first into leaf node requirements. The behavior model is composed of input, output, and functions which are linked with leaf node requirements. It is important that a single requirement must specify a single Auction. Using the developed executable model and the traceability between requirements and functions, this study found out a lot of static and dynamic inconsistency, missed and derived requirements. This is to develop and executable behavior model to do functional analysis and be able to verify the integrity of a specification.

• 경영정보학연구
• /
• 제10권1호
• /
• pp.91-113
• /
• 2008

최근 기업의 각 업무가 정보화되면서 부문별, 업무별 정보시스템의 데이터 간에 심각한 중복성과 불일치성의 문제가 대두되면서 데이터 품질관리에 관심이 집중되고 있다. 본 연구는 실제로 데이터품질 관리 프로세스 개선을 통해 데이터 품질이 향상된 기업의 사례를 통하여 프로젝트 수행 과정에서의 주요 이슈와 위험요인을 살펴보고 그 해결방안을 제시함으로써 데이터 품질 향상을 위해 노력하는 타 기업들에게 도움을 주고자 하였다. 또한, 개선된 데이터 품질 관리 프로세스에 대한 다차원적인 평가로서 데이터 품질, 생산성, 고객만족도, 조직 및 문화의 측면에서 정성적이고 정량적인 지표를 통한 개선효과를 살펴보고 평가함으로써 제안된 프로세스에 의해 품질수준이 향상되었음을 검증하였고 평가 분석을 통한 시사점을 도출하였다.

• 한국시뮬레이션학회논문지
• /
• 제18권3호
• /
• pp.113-122
• /
• 2009

사용자가 요구하는 기능과 특성에 대한 다양한 요구사항은 소프트웨어를 점점 더 복잡하게 만들고 이를 검증하고 검사하는 것은 어려운 문제이다. 게다가 개발된 소프트웨어 코드를 검증하고 검사를 수행하는 과정에서 트레이싱 혹은 로깅 코드를 삽입하는 과정과 검사가 완료되어 삭제하는 과정에서 사용자의 부주의로 버그가 삽일될 수 있는 문제점도 발생한다. 본 논문은 소프트웨어 개발 과정 중에서 검증 및 검사 과정을 지원할 수 있는 Aspect DEVS 검증 틀을 제시한다. Aspect DEVS 검증틀은 관점 지향 프로그래밍 기법을 사용하여 이미 구현되어 있는 소프트웨어와 사용자는 요구사항을 만족하는 지를 확인하는 동시에 소스 코드에 테스팅 코드를 삽입할 때 발생하는 문제들을 해결한다. Aspect DEVS 검증틀을 사용한 검증의 첫 번째 단계는 관찰 대상을 관점 지향 프로그래밍 기법을 사용하여 명세한 하고, 사용자의 요구사항을 DEVS 다이어그램을 명세한 후 이를 DEVSIM++로 구현한다. 마지막으로 프로그램의 수행 과정 중에서 발생하는 이벤트들을 대상으로 구현한 DEVS 모델의 이벤트 입력으로 넣어 소프트웨어가 사용자의 요구사항을 만족하는 지를 검사함으로써 검증 과정 중에 대상 소프트웨어의 수정 없이 검증 및 검사를 수행할 수 있다.

• 환경영향평가
• /
• 제19권2호
• /
• pp.205-213
• /
• 2010

The purpose of this research is to analysis the application of the ISG(Index of Streetscape Greenness) in EIA through case study of Seoul. ISG is a new index which directly expresses human's perceptions of plants in a street and is defined as the area ratio of which leaves of plants occupy an eye-level view of a person standing on the center line of a street. In this research the 42 cases of 3 step reports such as plans, drafts, and final reports which had been passed through the EIA procedure of Seoul were analyzed. The results are as follows: In the drafts frequent mistakes or errors such as unsuitable picture composition, unsuitable sample points, inconsistency of the simulation result with the planting plan, and insufficient numbers of analysis were found, but almost of them were corrected in the final reports. In the most of final reports, the 30% of minimum requirement was satisfied. At all cases the changes of the ISG values were clearly positive. Finally the average current ISG was 19.6%, meanwhile the average proposed ISG was 35.4%. It was verified that the ISG is very practical index to promote green streetscape, but in order to guarantee an achievement a thorough investigation of reports are needed.

• 동아시아경상학회지
• /
• 제9권3호
• /
• pp.15-28
• /
• 2021

Purpose -In the credit transaction, the issuing bank must examine the documents to pay the credit amount. In order to smoothly execute the credit transaction, document review is a key element, so the 5th revised credit unification rule specifically defines the document review procedure. Research design, data, and methodology - The document review procedure specified in the UCP Rules can be largely divided into the document review period and the rejection procedure for inconsistent documents. First of all, confusion was caused by the ambiguous regulation.. Result - With regard to the document review period, in the actual credit transaction, the issuing bank often negotiates with the issuing client about the waiver of the document inconsistency. Next, in the process of notifying the rejection of inconsistent documents, the issuing bank shall send the rejection notice. Conclusion - This study suggests that the requirement to list all inconsistencies makes it impossible for the issuing bank to further notify the refusal, thereby limiting the right to defend against inconsistencies not listed in the first refusal notice and consequently having the effect of matching them. In addition, the issuing bank's rejection notice is closely related to the beneficiary's exercise of the right to replenish documents.

• Spatial Information Research
• /
• 제6권2호
• /
• pp.201-216
• /
• 1998

건설교통부는 국가지리정보체계구축사업(NGIS)의 일환으로 수치지형도 제작사업을 1998년 말까지 완료할 예정이며, 특히 1:1,000 수치지형도는 지방자치단체의 GIS 기본도로 사용될 예정이다. 그러나 1:1,000 수치지형도에는 많은 지방정부들의 행정업무에 필요한 지적이나 도시계획과 같은 무형의 정보들은 포함되어 있지 않다. GIS사업의 활성화를 위해 지적도의 전산화 작업이 시급한 실정이다. 본 연구는 수치지형도와 지적의 불부합 원인을 분석하고, 정확도가 다른 두 데이타를 일치시키는 GIS의 기술적 방법들을 검토하고 서울시를 예로하여 도시계획관련부서의 지적데이타에 대한 수요를 분석하여 수치지형도와 중첩하여 활용할 수 있는 지적도 도형자료의 구축지침을 제시하였다. 그리고 제작지침 제시를 위해 서울시 중구 황학동, 신당동, 그리고 종로구 승인동 일부지역에 대한 편집지적 데이터를 구축하였다.

• 한국건설관리학회논문집
• /
• 제21권4호
• /
• pp.82-89
• /
• 2020

국가계약법 시행령 제64조 물가변동 계약금액 조정과 관련한 법령의 충족요건은 계약체결일로 부터 물가변동율이 5% 이상 이었으며, 조정방법도 중앙관서의 장 또는 계약담당공무원과 계약상대자가 협의하는 것 이었으나, 2005. 9. 8. 대통령령 제19035호 계약체결일에서 입찰일로, 충족요건도 5%이상에서 3%이상으로 변경되었고 계약금액 조정방법도 계약시에 계약상대자가 원하는 조정방법으로 결정하는 것으로 변경되었다. 이런 충족요건의 완화와 계약상대자의 권한강화 개정은 계약상대자에게 부당하게 이익 또는 불이익을 주지않고 공공건설 수급사업자에게까지 적용되어 원활한 목적 달성에 지장이 초래되는 것을 막기 위한 것이다. 상기와 같이 기준이 완화되고 권리를 보장받게 되었음에도 기존의 물가변동 조정 계약예규를 적용하다 보면 정부 제도의 당초 취지와는 달리, 한국은행 물가경제통계 분류방식과 공공건설공사에서 적용되는 계약예규 분류기준 불일치 때문에 공사종류별 물가변동 조정금액이 과다, 과소 산정 적용되고 있는 경우를 볼 수 있다. 이에 사례들을 통하여 문제점을 분석하고 개선방안을 통하여 적정 공사비 조정이 이루어 질수 있도록 하는 것에 이 연구의 목적이 있다.