신경주학교 도서관

12 Results:SS:명세 0.156 sec.

추상화에 기반을 둔 실시간 항법 및 배송 시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법
이문근, | 한국콘텐츠학회 | 2006 ,

정형 명세를 이용한 제품계열 아키텍처의 인스턴스화 기법
신숙경, | 한국정보과학회 | 2006 ,

요양급여 명세서 (병원내) 사망정보의 신뢰성분석
이광수, | 한국보건행정학회 | 2006 ,

웹 서비스 컴포넌트를 이용한 소프트웨어 개발에서의 명세 확장 방법과 그 효과 분석
서광익, | 한국정보과학회 | 2006 ,

SMV를 이용한 Structural Decision Table 명세의 정형검증
전승재, | 한국정보과학회 | 2006 ,

관점 지향 개발 방법론에서 횡단 관심사 구현 명세 기법
박옥자, | 한국정보과학회 | 2006 ,

SCADE/Lustre를 이용한 임베디드 시스템의 명세, 검증 및 구현
송관호, | 한국정보과학회 | 2006 ,

UML 분석 모델의 구조적 제약사항에 대한 OCL 기반의 명세 및 검증
채흥석, | 한국정보과학회 | 2006 ,

침입감내 소프트웨어 모델링을 위한 요구사항 추출 및 명세
조은숙, 이강신, | 한국시뮬레이션학회 | 2004 ,

능동보안 아키텍쳐를 위한 컴포넌트 분류 및 명세방법
김상영, 김재웅, 황선명, | 한국멀티미디어학회 | 2004 ,