• Proceedings of the KIPE Conference
• /
• 2006.06a
• /
• pp.166-168
• /
• 2006

새로운 도시교통 시스템을 개발하기 위하여 시스템의 적용지역 검토 후 운영자, 이용자, 공급자 측면에서의 요구사항 도출과 아울러 이를 토대로 하여 시스템 요구사항을 도출하였다. 이는 기능 및 성능으로 구분할 수 있고 하부시스템별로 기능과 성능을 할당하여 각 하부시스템의 기능과 주요 장치가 갖추어야 할 조건, 용량 등을 정의하였다. 또한 환경요구사항 및 하부 시스템별 기기의 동작 조건등을 정의하여 시스템 개념을 확립하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.293-296
• /
• 2005

제품에 대한 다양한 사용자의 요구 사항을 지원하기 위해 제품 개발 프로세스는 초기 단계인 분석 및 설계 단계에서부터 다양성을 지원할 수 있도록 개발 주기가 이뤄지고 있고 이러한 추세는 차별화된 서비스의 소프트웨어를 내장한 시스템(이하 임베디드 시스템)의 경우 보다 활발히 이뤄지는 경향이다. 요구 사항에서 공통점은 시스템 개발에 있어 재사용성을 높일 수 있는 중요한 부분이므로 요구 사항에 대한 다양성을 분석하고 표현하여 다양한 제품이 개발이 개발 초기 단계에서부터 이뤄 질 수 있도록 하는 것이 본 논문의 목적이다. 따라서 분석의 기반이 되는 기능 표현 방법은 중요하며 설계와 개발 단계로 연결되기 위해 분석된 기능에 대한 검증이 이뤄져야 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.11a
• /
• pp.484-487
• /
• 2008

기업환경은 지속적으로 변화하고 있으며, 그 변화의 주기도 짧아지고 있다. 그리고 시스템은 어떠한 비즈니스 요구사항에도 유연하고 민첩하게 지원할 수 있어야 한다. 따라서 변화에 대한 신속한 대응을 위해 UML 방법론을 참조한 CASE 도구의 기능적 요구사항을 제시함으로 화면 설계 표준과 테스트 기능을 지원함으로써 짧아지는 시스템 개발 주기와 고객의 요구사항을 신속하게 대응할 수 있는 표준화된 User Interface Diagram 으로 활용한다.

• TTA Journal
• /
• s.66
• /
• pp.80-95
• /
• 1999

최근 인터넷 트래픽이 급증함에 따라 IP 패킷 전달의 중추를 담당하는 코아망(또는, 백본망)이 새롭게 만족시켜야 할 요구사항 들이 대두되었다. 이에는 고속 패킷 전달과 QoS(Quality of Service)의 보장이라는 이미 잘 알려진 대표적 두 요구사항 외에, Scalability(확장성), 새로운 라우팅 기능 및 트래픽 엔지니어링 등의 요구사항이 포함된다. 본고에서는 이와 같은 인터넷 백본망의 새로운 요구사항을 먼저 살펴보고, 최근 IETF[1]를 중심으로 활발히 표준화 되고 있는 IP 패킷 전달 프로토콜 들의 간략한 개요와 이들의 백본망 요구사항 충족도를 분석한다. 본 고의 분석 대상 프로토콜은 세가지 대표적인 ATM 기반 프로토콜과 Multiprotocol Label Switching 그리고 Differentiated Services이다. 끝으로, 향후 코아망 프로토콜의 발전 전망을 간략히 기술한다.

• Convergence Security Journal
• /
• v.5 no.3
• /
• pp.67-73
• /
• 2005

Security requirements must be defined well to reduce software vulnerabilities in requirement specification phase. In this paper, we show how to specify security requirements in structured manner for object-oriented development methodology. Our method specifies security requirements through four phases: defining security objectives, identifying the threat, construct attack tree, and specifying security function. This method would help developers to specify security requirements and functions which software have to possess clearly and systematically.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.4
• /
• pp.161-168
• /
• 2015

It is difficult to provide proper cloud services for cloud users, because the number of cloud services are increasing and the type of cloud services are diversifying. To overcome this problem, the concept of cloud service broker is presented to mediate cloud services between cloud providers and tenant. The most important role of cloud service broker is to finding cloud services that fulfill requirements of tenant. However, current existing cloud service broker conduct passive requirements analysis process with cloud service expert's assistance. In addition, the systematic functional and non-functional requirement analysis is insufficient. Therefore, we need the new methods for requirement analysis to find nearest service that matches with requirement of tenant. In this paper, we apply pairwise comparison from AHP method to analyze requirement automatically and systematically. It calculates score of service by comparing requirement with service specification, calculating importance rate, and so on.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2018.05a
• /
• pp.253-255
• /
• 2018

기술발전에 따라, 보다 다양한 분야와 영역에 다양한 형태의 임베디드 시스템이 사용됨에 따라, 그에 대한 신뢰성과 안전성에 대한 요구가 증가하면서, 하드웨어 뿐만 아니라 소프트웨어까지도 포함한 부분에 대한 철저한 명세와 그에 따른 검증이 요구되고 있어, 임베디드 시스템 및 소프트웨어의 요구사항 검증을 위해 요구사항 시뮬레이션이라는 기법을 적용하고, 그 효용성을 확인하고자 한다.

• The Journal of Korean Association of Computer Education
• /
• v.9 no.4
• /
• pp.43-54
• /
• 2006

In general, user requirements in web-based learning systems are divided into functional and non-functional requirements. Developers are responsible for the verification of quality related requirements, which is known to be difficult to perform. This paper suggests a verification method that can be applied in the area where the conformance of implementation for non-functional requirements is required. The paper performs tests for non-functional requirements by using the information extracted from quality related features that have imposed constraints on design activities.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.366-370
• /
• 2006

정형명세는 자연어의 모호함을 없는 명료한 시스템 설계를 가능하게 한다. 상태차트와 같은 정형명세 된 요구사항은 시뮬레이션이나 정형검증을 통해 요구사항을 실행하여 볼 수 있으며, 더 나아가 여러 가지 특성을 정형검증과 같은 검증 기법으로 검증 할 수 있다. 하지만 자연어 요구사항을 상태차트로 변환하여 다양한 요구사항의 특성을 기술하기 위해서는 상당한 노력과 경험이 필요로 하다. 본 논문에서는 자연어 요구사항을 상태차트로 직접 변환하는 기법을 제안한다. 이를 위해 본 논문에서는 기능적인 요구 사항의 자연어를 분석하고, 또한 소프트웨어 요구사항 기술에 적절하도록 상태차트 문법의 의미를 제안한다.

• The Journal of the Korea Contents Association
• /
• v.8 no.5
• /
• pp.61-71
• /
• 2008

It is often claimed that the descriptive way of documentation is insufficient to define software requirements as being unambiguous. This is caused by not only the difference of knowledge and understanding of the stakeholder as to system but also the difference in the way of documentation like method of representation as well as depth of description. The study explains the process and results of applying a diagraming tool like UML to improve the requirements of GLORY(GLObal Resource management sYstem) initially defined in descriptive way. Especially, the result shows that the requirements are more accurately improved with the good hierarchies and well-leveled functionalities, with the help of diagraming tool, expecting easy maintenance of requirements and prevention of omission of requirements.