지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2011.11
- 수록면
- 213 - 218 (6page)
이용수
초록· 키워드
오류제보하기
이 논문은 소프트웨어 개발의 현재 관행과 관련된 문제를 다룬다. 일반적으로 현재 소프트웨어 개발 과정에서 가장 큰 문제점은 설계와 구현간의 간극이 매우 크다는 점이다. 그 결과로 소프트웨어의 유지보수, 업그레이드, 재사용하기에 충분하지 않다. 이 논문은 상태변환기계를 이용한 메소드의 실행 가능 명세 기법을 통해 설계와 구현간의 간극을 줄이는 방법을 다룬다. 상태변환기계를 이용하여 어떤 메소드를 구현할 때에는 모든 실행단계를 기술하지 않고 단지 최종목표만을 기술하기 때문에 그 기술이 훨씬 더 간단해진다는 장점이 있다. 즉, 메소드 명세와 실제 구현의 중간단계라고 할 수 있다. 또한 예를 통해 이 기법의 유용성을 보이고 있다.
목차
요약
Abstract
Ⅰ. 서론
Ⅱ. 소프트웨어 개발 단계
Ⅲ. 상태변환기계
Ⅳ. 결론
참고문헌
저자소개
참고문헌 (8)
참고문헌 신청
1. [학술지(정기간행물)] - S. Chaki / 2004 / H. Veith. Modular verification of software components in C / IEEE Transactions on Software Engineering 30 (6)
2. [단행본] - D. Engler / 2000 / Checking system rules using system-specific, programmer-written compiler extension. In OSDI 00: Operating System Design and Implementation / Usenix Association
3. [학술지(정기간행물)] - P. Cousot / 1977 / Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints / Priciples of Programming Languages 77 : 238 ~ 252
4. [단행본] - T. Ball / 2001 / Automatically validating temporal safety proof interfaces. In SPIN 01 : SPINWorkshop / Springer-Verlag
5. [단행본] - 정문재 / 2009 / 소프트웨어 공학 / 21세기사
2. [단행본] - D. Engler / 2000 / Checking system rules using system-specific, programmer-written compiler extension. In OSDI 00: Operating System Design and Implementation / Usenix Association
3. [학술지(정기간행물)] - P. Cousot / 1977 / Abstract interpretation : a unified lattice model for the static analysis of programs by construction or approximation of fixpoints / Priciples of Programming Languages 77 : 238 ~ 252
4. [단행본] - T. Ball / 2001 / Automatically validating temporal safety proof interfaces. In SPIN 01 : SPINWorkshop / Springer-Verlag
5. [단행본] - 정문재 / 2009 / 소프트웨어 공학 / 21세기사
이 논문의 저자 정보
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2013-566-001076164