DC Field | Value | Language |
---|---|---|
dc.contributor.author | 홍장의 | ko |
dc.contributor.author | 윤일철 | ko |
dc.contributor.author | 배두환 | ko |
dc.date.accessioned | 2010-05-18T05:07:33Z | - |
dc.date.available | 2010-05-18T05:07:33Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2000 | - |
dc.identifier.citation | 정보과학회논문지 : 소프트웨어 및 응용, v.27, no.2, pp.157 - 167 | - |
dc.identifier.issn | 1738-5385 | - |
dc.identifier.uri | http://hdl.handle.net/10203/18420 | - |
dc.description.abstract | 요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다. | - |
dc.language | Korean | - |
dc.language.iso | ko | en |
dc.publisher | 한국정보과학회 | - |
dc.title | 객체지향 페트리 넷을 이용한 계층적인 요구사항의 명세 및 검증 | - |
dc.title.alternative | Hierarchical Specification and Verification of Requirements using An Object-Oriented Petri Net | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.citation.volume | 27 | - |
dc.citation.issue | 2 | - |
dc.citation.beginningpage | 157 | - |
dc.citation.endingpage | 167 | - |
dc.citation.publicationname | 정보과학회논문지 : 소프트웨어 및 응용 | - |
dc.embargo.liftdate | 9999-12-31 | - |
dc.embargo.terms | 9999-12-31 | - |
dc.contributor.localauthor | 배두환 | - |
dc.contributor.nonIdAuthor | 홍장의 | - |
dc.contributor.nonIdAuthor | 윤일철 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.