DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | 배두환 | - |
dc.contributor.advisor | Bae, Doo-Hwan | - |
dc.contributor.author | 백진욱 | - |
dc.contributor.author | Baek, Jin-Wook | - |
dc.date.accessioned | 2011-12-13T05:58:24Z | - |
dc.date.available | 2011-12-13T05:58:24Z | - |
dc.date.issued | 1997 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=114347&flag=dissertation | - |
dc.identifier.uri | http://hdl.handle.net/10203/34233 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 전산학과, 1997.2, [ iii, 51 p. ] | - |
dc.description.abstract | 요구 명세의 검증은 분석이 올바르게 수행되었다는 것을 보증해 주는 중요한 단계이다. 특히, 객체 지향 소프트웨어 개발 주기의 설계 단계 이전에 소프트웨어 시스템의 동적인 행위는 검증되어야 한다. 그래서, 본 논문에서는, 객체 지향 요구 명세에서의 동적 행위에 대한 검증 방법을 제안한다. 제안된 검증 방법의 첫 번째 절차에서는, 객체 지향 요구 명세를 구성하고 있는 객체와 동적 모델을 수정 객체 모델과 수정 동적 모델로 변환한다. 그리고 두 번째 절차에서는, 수정 객체와 동적 모델을 정형 요구명세로 변환한다. 세 번째로서, 정형 요구 명세는 소프트웨어 시스템의 정적인 구조와 전체 시스템에 대한 동적인 면을 포함하는 확장 정보 트리로 변환한다. 마지막으로, 객체 지향 요구 명세의 동적인 행위는 확장정보 트리를 사용하여 검증한다. 본 연구에서 제안된 확장 정보 트리는 그래픽 표기법으로서 객체 지향 요구 명세의 정적인 구조와 동적인 행위를 표현할 수 있다. 그 트리는 객체 지향 요구 명세로부터 체계적으로 구축될 수 있고 동적 행위의 검증에 사용되어진다. | kor |
dc.language | kor | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 요구 사항 공학 | - |
dc.subject | 객체 지향 분석 | - |
dc.subject | 검증 | - |
dc.subject | Verification | - |
dc.subject | Requirements engineering | - |
dc.subject | Object-oriented analysis | - |
dc.title | 객체 지향 요구 명세의 동적 행위 검증을 위한 방법 | - |
dc.title.alternative | An approach to verification of dynamic behavior in object-oriented requirements specification | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 114347/325007 | - |
dc.description.department | 한국과학기술원 : 전산학과, | - |
dc.identifier.uid | 000957076 | - |
dc.contributor.localauthor | 배두환 | - |
dc.contributor.localauthor | Bae, Doo-Hwan | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.