지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 관련연구
3. Parameterized Statechart에 관한 연구
4. UML 2.0 기반의 FORM 아키텍처 모델링을 위한 연구
5. 사례연구
6. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Statechart 상호 변환을 위한 Semantics의 분석
한국정보과학회 학술발표논문집
2006 .10
Statechart 명세의 등가 관계 검사
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2000 .12
UML을 이용한 소프트웨어 아키텍처 모델링에 관한 연구
대한전자공학회 학술대회
2000 .06
소프트웨어 프로덕트 라인에서 휘처모델과 구성요소간 가변성에 대한 일관성 검증 규칙
Proceedings of KIIT Conference
2012 .11
RTP와 Statechart를 이용한 실시간 소프트웨어 설계 및 검증
한국항공우주학회 학술발표회 초록집
2011 .04
Assertion Based Verification을 이용한 Statechart 모델의 검증
한국정보과학회 학술발표논문집
2004 .10
경성 실시간 시스템 설계에 적합한 Priority 모델링 기법
한국정보과학회 학술발표논문집
1998 .10
임베디드 시스템을 위한 컴포넌트 기반 Statechart 도구 구현
한국정보과학회 학술발표논문집
2002 .04
실시간 시스템을 위한 Statechart에서의 동작 우선순위 기법
한국정보과학회 학술발표논문집
2000 .04
Statchart/ACSR:State chart와 ACSR을 조합한 정형 명세
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
Statechart with Timed Shared Resource의 명세 및 검증
한국정보과학회 학술발표논문집
2001 .10
가상 프로토타입핑을 위한 Statechart 도구
한국정보과학회 학술발표논문집
2000 .10
Statechart 를 이용한 철강공정 오류 검출 시스템 방안 연구
한국정밀공학회 학술발표대회 논문집
2013 .05
SyncCharts를 이용한 UML Statecharts 의미론
한국정보과학회 학술발표논문집
2003 .10
상태 추상화를 통한 Statecharts 요구명세의 검증
한국정보과학회 학술발표논문집
1997 .10
Statechart 명세의 프로세스 알제브라로의 변환
한국정보과학회 학술발표논문집
1999 .10
Statecharts 명세의 모듈 기반 검증
한국정보과학회 학술발표논문집
1999 .10
컴포넌트 설계를 MDA / PIM으로 명세하기 위한 UML프로파일
정보과학회논문지 : 소프트웨어 및 응용
2005 .03
0