지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 기반 연구
3. 컴포넌트 지원 Statechart 도구 설계
4. 구현
5. 결론
참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Statechart로 구현된 명세의 정형 검증 기법
한국정보과학회 학술발표논문집
1999 .10
Statechart with Timed Shared Resource의 명세 및 검증
한국정보과학회 학술발표논문집
2001 .10
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
Assertion Based Verification을 이용한 Statechart 모델의 검증
한국정보과학회 학술발표논문집
2004 .10
상태 추상화를 통한 Statecharts 요구명세의 검증
한국정보과학회 학술발표논문집
1997 .10
임베디드 시스템을 위한 컴포넌트 기반 Statechart 도구 구현
한국정보과학회 학술발표논문집
2002 .04
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
STSR의 실시간 내장형 시스템의 명세
한국정보과학회 학술발표논문집
2003 .10
Statechart 명세의 등가 관계 검사
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2000 .12
Statechart 명세의 프로세스 알제브라로의 변환
한국정보과학회 학술발표논문집
1999 .10
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
STSR의 실시간 내장형 시스템 명세
한국정보과학회 학술발표논문집
2003 .04
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
Statecharts 명세의 모듈 기반 검증
한국정보과학회 학술발표논문집
1999 .10
실시간 객체를 위한 명세 및 분석 방법
한국정보과학회 학술발표논문집
1995 .10
VDM 모듈에서 자료흐름도로의 명세변환
한국정보과학회 학술발표논문집
1993 .10
상태차트를 이용한 철도제어시스템 요구사항 명세
한국정보과학회 학술발표논문집
2008 .06
0