Managing Scope Creep with Design Patterns in Formal Specifications
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.5 No.1 2011.01 pp.63-72
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Tool Support for Software Development Based on Formal Specifications in RTPA
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.3 No.3 2009.07 pp.71-88
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
LOTOS Protocol Conformance Testing for Formal Description Specifications
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 Vol.4 No.7 1997 pp.1821-1841
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Automated Test Generation from Specifications Based on Formal Description Techniques
[Kisti 연계] 한국전자통신연구원 ETRI journal Vol.19 No.4 1997 pp.363-388
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 1999 pp.330-332
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
상태모델에 기반한 소프트웨어 컴포넌트 명세의 정형적 테스트
[Kisti 연계] 한국컴퓨터교육학회 컴퓨터교육학회논문지 Vol.7 No.6 2004 pp.129-139
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-