지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. Statechart와 GCSR
3. Statechart와 GCSR의 시간 개념
4. 실시간 시스템의 Statechart와 GCSR의 정형 명세의 예
5. UML - RT로서의 GCSR의 제안
6. 결론
7. 참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Statechart with Timed Shared Resource의 명세 및 검증
한국정보과학회 학술발표논문집
2001 .10
Assertion Based Verification을 이용한 Statechart 모델의 검증
한국정보과학회 학술발표논문집
2004 .10
Statechart 명세의 등가 관계 검사
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2000 .12
Statechart로 구현된 명세의 정형 검증 기법
한국정보과학회 학술발표논문집
1999 .10
상태 추상화를 통한 Statecharts 요구명세의 검증
한국정보과학회 학술발표논문집
1997 .10
실시간 시스템을 위한 Statechart에서의 동작 우선순위 기법
한국정보과학회 학술발표논문집
2000 .04
Statechart 명세의 프로세스 알제브라로의 변환
한국정보과학회 학술발표논문집
1999 .10
Statechart 상호 변환을 위한 Semantics의 분석
한국정보과학회 학술발표논문집
2006 .10
SyncCharts를 이용한 UML Statecharts 의미론
한국정보과학회 학술발표논문집
2003 .10
내장형 시스템의 명세를 위한 컴포넌트 지원 Statechart 도구 구현
한국정보과학회 학술발표논문집
2000 .04
Statchart/ACSR:State chart와 ACSR을 조합한 정형 명세
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
Statecharts 명세의 모듈 기반 검증
한국정보과학회 학술발표논문집
1999 .10
STATECHART의 실시간 성질의 정형적인 명세와 증명방법
한국정보과학회 학술발표논문집
1994 .10
실시간 시스템의 효과적 명세를 위한 Statecharts의 ACSR 변환
한국정보과학회 학술발표논문집
2002 .10
RTP와 Statechart를 이용한 실시간 소프트웨어 설계 및 검증
한국항공우주학회 학술발표회 초록집
2011 .04
가상 프로토타입핑을 위한 Statechart 도구
한국정보과학회 학술발표논문집
2000 .10
SC/ACSR : ACSR과 Statechart를 조합한 정형 명세
한국정보과학회 학술발표논문집
2011 .06
UML 다이어그램기반 Z명세서 작성 방법론
한국정보과학회 학술발표논문집
2008 .10
임베디드 시스템을 위한 컴포넌트 기반 Statechart 도구 구현
한국정보과학회 학술발표논문집
2002 .04
0