지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. Ada 재사용 컴포넌트의 개념 및 구현
3. Statemate 일반화차트(Generic chart) 설계
4. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Ada와 Statemate를 이용한 소프트웨어 설계모듈의 재사용
한국정보과학회 학술발표논문집
2005 .11
STATEMATE MAGNUM 모델체킹을 위한 정형명세 기법 연구
한국정보과학회 학술발표논문집
2004 .04
프로그램 모듈의 재사용시스템 설계및 구현
한국정보과학회 학술발표논문집
1989 .10
열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석
한국철도학회 학술발표대회논문집
2007 .05
광통신 시스템 설계를 쉽게 하는 광모듈
광산업정보
2004 .01
설계 정보 재사용을 위한 검색시스템의 설계에 관한 연구
한국정보과학회 학술발표논문집
1990 .10
플랜트 모듈화 설계 방법론 연구
한국CDE학회 학술발표회 논문집
2013 .08
Statecharts 명세의 모듈 기반 검증
한국정보과학회 학술발표논문집
1999 .10
안전한 모듈 지원 함수 흐름 분석
한국정보과학회 학술발표논문집
1999 .04
디자인 논리설계 소프트웨어를 이용한 논리회로 설계 검증
한국산학기술학회 학술대회논문집
2010 .05
자연어 요구사항의 상태차트 모델링
한국정보과학회 학술발표논문집
2006 .10
초대형 부유식 해상구조물의 초기 설계를 위한 설계차트 개발
대한토목학회논문집 B
2010 .05
기능 파악을 기초로 한 프로그램 재구성 방법
정보과학회논문지(B)
1996 .01
차트 파싱 방법을 이용한 한국어 구문 분석 시스템
한국정보과학회 학술발표논문집
1989 .10
모듈 생성의 자동화를 위한 설계 지원 도구에 관한 연구
한국정보과학회 학술발표논문집
1988 .10
설계 안정성을 고려한 모듈 접속 언어의 확장
한국정보과학회 학술발표논문집
1987 .10
STATEMATE를 이용한 AWES(Auto Warning / Ejection System) 명세
한국정보과학회 학술발표논문집
2001 .10
0