지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 컴포넌트 지원 Statechart 도구
3. 비교평가
4. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
가상 프로토타입핑을 위한 Statechart 도구
한국정보과학회 학술발표논문집
2000 .10
Statechart 상호 변환을 위한 Semantics의 분석
한국정보과학회 학술발표논문집
2006 .10
내장형 시스템의 명세를 위한 컴포넌트 지원 Statechart 도구 구현
한국정보과학회 학술발표논문집
2000 .04
Statechart 명세의 등가 관계 검사
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2000 .12
실시간 시스템을 위한 Statechart에서의 동작 우선순위 기법
한국정보과학회 학술발표논문집
2000 .04
Assertion Based Verification을 이용한 Statechart 모델의 검증
한국정보과학회 학술발표논문집
2004 .10
Statechart with Timed Shared Resource의 명세 및 검증
한국정보과학회 학술발표논문집
2001 .10
경성 실시간 시스템 설계에 적합한 Priority 모델링 기법
한국정보과학회 학술발표논문집
1998 .10
Statechart 명세의 프로세스 알제브라로의 변환
한국정보과학회 학술발표논문집
1999 .10
Statechart 를 이용한 철강공정 오류 검출 시스템 방안 연구
한국정밀공학회 학술발표대회 논문집
2013 .05
상태 추상화를 통한 Statecharts 요구명세의 검증
한국정보과학회 학술발표논문집
1997 .10
Statecharts 명세의 모듈 기반 검증
한국정보과학회 학술발표논문집
1999 .10
컴포넌트 재사용을 위한 지원 방법에 관한 연구
한국정보과학회 학술발표논문집
1999 .04
Statechart로 구현된 명세의 정형 검증 기법
한국정보과학회 학술발표논문집
1999 .10
STATECHART의 실시간 성질의 정형적인 명세와 증명방법
한국정보과학회 학술발표논문집
1994 .10
SyncCharts를 이용한 UML Statecharts 의미론
한국정보과학회 학술발표논문집
2003 .10
초기 컴포넌트 설계 단계에서 컴포넌트 정제 기법
한국정보과학회 학술발표논문집
2004 .10
실시간 시스템의 효과적 명세를 위한 Statecharts의 ACSR 변환
한국정보과학회 학술발표논문집
2002 .10
컴포넌트 지원을 위한 상호운용 정보시스템기반의 정보 통합
한국정보과학회 학술발표논문집
2001 .04
0