지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 정형적 명세를 이용한 테스트
3. 웹 프로그램의 명세화
4. 명세 이용 테스트
5. 결론과 향후 연구
참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
웹 서비스 컴포넌트를 이용한 소프트웨어 개발에서의 명세 확장 방법과 그 효과 분석
한국정보과학회 학술발표논문집
2006 .06
VDM 모듈에서 자료흐름도로의 명세변환
한국정보과학회 학술발표논문집
1993 .10
Larch 명세 언어의 정형적 의미론
한국정보과학회 학술발표논문집
1995 .10
요약 해석을 이용한 테스트 데이터 자동 생성 기법
한국정보과학회 학술발표논문집
2001 .10
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
Z 명세의 객체 지향 애니메이션
한국정보과학회 학술발표논문집
1995 .10
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
역공학을 이용한 GUI 테스트 데이터 생성 방법
Proceedings of KIIT Conference
2011 .05
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
활동-지향 접근법을 사용한 웹 응용 테스트 기법의 설계
한국정보과학회 학술발표논문집
2007 .10
지능적 웹 서비스 테스트 프레임워크
한국정보과학회 학술발표논문집
2004 .04
실시간 객체를 위한 명세 및 분석 방법
한국정보과학회 학술발표논문집
1995 .10
객체지향 소프트웨어를 위한 주요 블랙박스 테스트 기법들의 비교
정보과학회논문지 : 소프트웨어 및 응용
2006 .01
항해 구조를 이용한 웹 응용의 테스트 방법
한국정보과학회 학술발표논문집
2003 .10
0