지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 관련 연구
3. New FST와 검증 규칙
4. 사례 연구 및 비교 분석
5. 결론과 향후 연구 관제
6. 참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
객체지향 분석과정에서 오류와 일관성 점검 방법
정보과학회논문지(B)
1999 .03
객체지향 분석 과정에서 무결성과 일관성 검증 방법
한국정보과학회 학술발표논문집
1996 .04
정보구조모델링 분석의 일관성 검증 규칙
한국정보과학회 학술발표논문집
2000 .10
일관성에 대하여
건축사
2007 .01
객체모델에 대한 형식명세로의 변환 방법
한국컴퓨터정보학회논문지
2003 .12
객체지향 산출물간의 일관성 유지를 위한 효율적인 역 추적 기법
한국정보과학회 학술발표논문집
2004 .04
객체 지향 모델에서 일관성 검증을 위한 관계성 분석 도구 설계 및 구현
한국정보과학회 학술발표논문집
1999 .10
객체지향 분석을 위한 모델링지원 시스템에 관한 연구
한국정보과학회 학술발표논문집
1993 .10
3D모델기반의 선박설계지원 일관시스템 개발 (I)
대한조선학회지
2017 .03
분석 및 설계단계 산출물간의 일관성 유지방안
한국정보과학회 학술발표논문집
2004 .04
객체지향 기법을 사용한 업무 개선 및 시스템 개발 일관화에 대한 방법론 연구
대한산업공학회 춘계공동학술대회 논문집
1998 .04
객체행위모델을 이용한 객체와 동적 모델의 점검 방법
한국정보과학회 학술발표논문집
1992 .10
PIM에서 EJB기반의 PSM으로 변환에 대한 일관성 검증 규칙
한국정보과학회 학술발표논문집
2004 .10
특집 : 3D모델기반의 선박설계지원 일관시스템 개발 (II)
대한조선학회지
2017 .06
형식 명세와 시뮬레시션에 의한 객체 모델의 검증과 확인
한국정보과학회 학술발표논문집
1995 .10
UML 다이아그램의 일관성 및 완정성 검증 규칙
한국정보과학회 학술발표논문집
2000 .04
AFOORSL : 객체 지향 시스템을 위한 정형적 요구 사항 명세 언어
한국정보과학회 학술발표논문집
1995 .10
객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법
정보과학회논문지 : 소프트웨어 및 응용
2004 .07
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
0