| 한글제목(Korean Title) |
정형기법에 의한 재사용 컴포넌트 및 인터페이스 명세 기술 연구 |
| 영문제목(English Title) |
Description Techniques for Reusable Components and Interfaces using Formal Methods |
| 저자(Author) |
서동수
|
| 원문수록처(Citation) |
VOL 8-D NO. 01 PP. 0062 ~ 0070 (2001. 02) |
한글내용
(Korean Abstract) |
소프트웨어 컴포넌트의 기능에 대한 정확한 서술은 컴포넌트의 활용을 위한 필수 조건이며 특히, 실시간 시스템과 같은 엄밀성을 요하는 분야에는 더욱 중요한 요소로 작용한다. 본 논문에서는 컴포넌트의 이해를 높이는 수단으로 패턴에 기반한 정형적 표현 및 검증에 관한 내용을 소개한다. 특히 본 논문은 컴포넌트 기능 서술 시 VDM++를 이용하는 명세 방법, 주어진 명세에 대한 정제와 적합성 검증에 관한 정형기법의 활용방법을 제시한다. |
영문내용
(English Abstract) |
Correct descriptions for software component functions become a strong requirement in developing critical software especially on the area of real-time applications. In this paper, we introduce both formalization of software design using patterns and verification methods in order for the components to increase their understandability. In particular, the paper investigates into a means of formal description techniques based on VDM for the software components, and provides adequacy proof steps for a given functional descriptions. |
| 키워드(Keyword) |
formal methods
software components
design patterns
|
| 파일첨부 |
PDF 다운로드
|
