지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 기반 연구
3. 단계별 명세 방안
4. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
실시간 분산 소프트웨어의 순차적 동기적 속성의 명세에 관한 연구 ( A Study on Specification of Temporal and Synchronization Property of Real-Time Distributed Software )
한국통신학회 학술대회논문집
1997 .01
멀티미디어 동기화를 위한 시간 관계 명세 모델 설계
대한전자공학회 학술대회
1994 .07
멀티미디어 동기화를 위한 시간 관계 명세 모델 설계 ( Design of Temporal Relation Specification Model for Multimedia Synchronization )
대한전자공학회 학술대회
1994 .07
HOOSL : 분산 멀티미디어 소프트웨어의 명세 언어
한국정보과학회 학술발표논문집
1997 .10
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
속성 명세 지원 시스템
한국정보과학회 학술발표논문집
2001 .10
상호운용성 검증을 위한 분산 시험 소프트웨어 ( Distributed Testing Software for Validate Interoperability )
한국통신학회 학술대회 및 강연회
1997 .01
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
결함허용 실시간 소프트웨어 설계를 위한 명세언어
한국산업정보학회 학술대회논문집
1997 .11
멀티미디어 객체 프리젠테이션을 위한 시간적 명세 모델과 동기화 방안
한국정보과학회 학술발표논문집
1993 .10
통신 소프트웨어 개발 환경의 설계 및 명세 작성기의 구현
한국정보과학회 학술발표논문집
1999 .04
공간 프로세스 대수에서 시간 속성의 명세와 분석을 위한 정형기법
한국통신학회 학술대회논문집
2007 .11
Extended Mind Map for Software Requirement Specification
한국정보과학회 학술발표논문집
2013 .06
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
오토마타 생성 시간 단축을 위한 분산 명세 합성
한국정보과학회 학술발표논문집
2014 .06
요구명세언어 및 요구분석 지원시스템 개발 ( Development of Software Specification Language and Software Requirements Analysis System )
특정연구 결과 발표회 논문집
1990 .01
이동객체의 움직임에 대한 시간적 명세
데이타베이스연구
2000 .08
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
임베디드 시스템의 시간 속성을 갖는 사양을 기술하기 위한 연구
한국통신학회 학술대회논문집
2009 .06
분산 멀티미디어 시스템에서의 동기화 기법
한국통신학회 학술대회논문집
1998 .07
0