Z 정형적 명세의 객체 지향 애니메이션

권기현

정보과학회논문지(B)

1996 .12

객체 지향 명세화 시스템 설계에 관한 연구 ( A Study on Object-Oriented Specification System Design )

조윤기 ,  김영란 ,  구연설

한국통신학회 학술대회논문집

1994 .01

객체 지향 명세화 시스템 설계에 관한 연구

조윤기 ,  김영란 ,  구연설

한국통신학회 학술대회논문집

1994 .11

멀티미디어 객체 프리젠테이션을 위한 시간적 명세 모델과 동기화 방안

이영석 ,  함진호 ,  김우생 외 1명

한국정보과학회 학술발표논문집

1993 .10

사용자와 이동 객체의 움직임을 동시에 고려한 예측 질의처리 기법

윤소혜 ,  박석

한국정보과학회 학술발표논문집

2017 .12

멀티미디어 동기화를 위한 시간 관계 명세 모델 설계

이동재 ,  여인국 ,  황대훈

대한전자공학회 학술대회

1994 .07

멀티미디어 동기화를 위한 시간 관계 명세 모델 설계 ( Design of Temporal Relation Specification Model for Multimedia Synchronization )

이동재 ,  황대훈 ,  여인국

대한전자공학회 학술대회

1994 .07

의미적 객체 움직임 그룹화를 위한 시공간 관계 모델링

최준호 ,  최창 ,  황명권 외 1명

한국멀티미디어학회 학술발표논문집

2009 .05

객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법

신숙경 ,  이종국 ,  김수동

정보과학회논문지 : 소프트웨어 및 응용

2004 .07

실시간 객체 지향 모델을 지원하기 위한 정형 명세

정유성 ,  최수진 ,  강인혜 외 1명

한국정보과학회 학술발표논문집

1999 .10

객체모델에 대한 형식명세로의 변환 방법

임근 ,  권영만

한국컴퓨터정보학회논문지

2003 .12

이동객체를 위한 질의처리 컴포넌트의 설계 및 구현

김경숙 ,  권오제 ,  변희영 외 3명

한국공간정보시스템학회 논문지

2004 .06

Z 명세의 객체 지향 애니메이션

이건수 ,  권기현

한국정보과학회 학술발표논문집

1995 .10

A Predictive Query Processing Method Considering the Movement of both a User and Objects

윤소혜 ,  박석

Journal of KIISE

2018 .12

움직임 추정 능동 방사선 기반 고속 객체 추적

라정중 ,  서경석 ,  최흥문

전자공학회논문지-SP

2005 .05

네트워크 시스템 명세를 위한 Z 기반 프레임워크

신지훈 ,  최진영

한국정보과학회 학술발표논문집

2011 .06

무선 센서 네트워크에서 질의 중계를 이용한 이동 객체의 위치 추적 방안

김상대 ,  김천용 ,  조현종 외 2명

정보과학회 컴퓨팅의 실제 논문지

2014 .11