지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
1. 서론
2. 상태기반 명세의 개념
3. 모델의 정제
4. 모델 시뮬레이션
5. 시뮬레이션 검증 케이스스터디
6. 맺음말
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
대수명세의 단계적 구현과 증분식 테스팅
(구)정보과학회논문지
1991 .02
대수명세의 구현과 증분식 테스팅
한국정보과학회 학술발표논문집
1990 .10
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
대수명세기법의 새로운 접근방법
한국정보과학회 학술발표논문집
1990 .04
추상자료형 기술을 위한 대수명세의 새로운 접근 방법
(구)정보과학회논문지
1990 .06
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
점진적 접근 방법을 이용한 소프트웨어 명세 정제 및 변형 도구에 대한 연구
한국정보과학회 학술발표논문집
1996 .04
LOTOS 시뮬레이션을 이용한 프로토콜 검증에 관한 연구
한국정보과학회 학술발표논문집
1988 .10
역공학을 이용한 GUI 테스트 케이스 경로 확장 방법
한국정보기술학회논문지
2012 .04
객체 지향 명세화 시스템 설계에 관한 연구 ( A Study on Object-Oriented Specification System Design )
한국통신학회 학술대회논문집
1994 .01
객체 지향 명세화 시스템 설계에 관한 연구
한국통신학회 학술대회논문집
1994 .11
VDM을 사용한 정형적 명세의 동작 모형 구축
정보과학회논문지(B)
1995 .09
Z 명세의 객체 지향 애니메이션
한국정보과학회 학술발표논문집
1995 .10
Parameterized Specification 의 Actualization 에 사용가능한 Colimit 계산을 위한 알고리즘 및 구현
한국정보과학회 학술발표논문집
1989 .04
0