형식명세로 변환된 객체모델의 검증방법과 시뮬레이션

임근

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

2007 .12

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

임근 ,  권영만

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

2003 .12

다측면 객체 모델의 정형화에 관한 연구

조동영 ,  황종선 ,  백두권 외 1명

대한산업공학회 춘계공동학술대회 논문집

1991 .05

형식 명세와 시뮬레시션에 의한 객체 모델의 검증과 확인

문충렬 ,  김정아 ,  이경환

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

1995 .10

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

신숙경 ,  이종국 ,  김수동

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

2004 .07

객체행위모델을 이용한 객체와 동적 모델의 점검 방법

이기오 ,  이광용 ,  김태현 외 1명

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

1992 .10

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

권기현

정보과학회논문지(B)

1996 .12

실시간 분산 시스템의 객체지향 소프트웨어 시험을 위한 정형모델

송영기 ,  이재섭 ,  이형호 외 3명

정보과학회논문지(C)

1995 .12

제약 언어에 기반한 객체 모델링 환경 구축에 관한 연구

강권학 ,  김진수 ,  이경환

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

1994 .10

객체 모델을 E - R 모델로 변환하는 OM2ER 방법론에 대한 연구

정현숙 ,  김행곤

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

1994 .10

객체의 동적, 정적모델으로 부터 객체구현을 중심으로한 객체지향소프트웨어 개발에 관한 연구

명창대 ,  임근 ,  이경환

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

1993 .04

다수 객체 모델을 이용한 객체 추적 기법

김한울 ,  김창수

한국방송미디어공학회 학술발표대회 논문집

2015 .11

객체지향 분석 과정에서 무결성과 일관성 검증 방법

김도형 ,  정기원

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

1996 .04

객체지향 소프트웨어 개발에서 요구사양에 대한 검증방법

염근혁

정보과학회논문지(B)

1998 .05

다측면 객체 모델 이론 : 개념적 데이타 모델링에 대한 수학적 접근

조동영 ,  황종선

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

1991 .04

DOM : 새로운 분산 객체 모델

안순신

(구)정보과학회논문지

1992 .11

보안이 적용된 객체모델의 객체지향 스키마로의 변환 방법

김정종 ,  박운재 ,  송호영 외 1명

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

1999 .10

공유 객체를 지원하는 객체 중심 시각 프로그래밍 환경의 개발

김상욱 ,  신영길 ,  이정태

정보과학회논문지(C)

1996 .06

역할 모델링을 이용한 객체 패턴의 추상화 방법

김정종 ,  송호영 ,  박운재 외 1명

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

2003 .04

AFOORSL : 객체 지향 시스템을 위한 정형적 요구 사항 명세 언어

최승훈 ,  우치수

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

1995 .10