지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 연구배경
3. Z명세 작성 기법
4. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
UML 2.0 기반 객체지향 모델링 프로세스 및 지침
한국정보과학회 학술발표논문집
2004 .10
UML 다이어그램들 간의 일관성 검증 방법
한국정보과학회 학술발표논문집
1998 .04
상호점검규칙에 의한 UML 다이어그램의 일관성 개선
한국정보통신학회논문지
2012 .06
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
UML 을 이용한 로봇 모듈의 명세화 방법 및 안드로이드 적용
제어로봇시스템학회 국내학술대회 논문집
2009 .09
UML 다이어그램들간의 관계 표현을 위한 메타 모델
한국정보과학회 학술발표논문집
1998 .04
UML을 이용한 소프트웨어 개발
한국멀티미디어학회지
2001 .12
참조 컴포넌트 아키텍처 모델과 UML 명세화에 대한 연구
한국컴퓨터정보학회논문지
2001 .09
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
UML 의 주요 다이어그램들 간의 일관성 유지 기준
한국정보과학회 학술발표논문집
2001 .04
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
시맨틱 웹 서비스의 기술을 위한 모델지향접근방식
한국정보과학회 학술발표논문집
2006 .06
단계별 해설과 실습예제기반 UML 자기 주도 학습을 지원하는 웹 애플리케이션
Proceedings of KIIT Conference
2019 .06
UML 활용 사례연구
대한산업공학회 춘계공동학술대회 논문집
2005 .05
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
UML 클래스 다이어그램 기반의 효율적인 C++코드 생성기의 설계와 구현
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2000 .08
이클립스 기반 UML 모델링 도구의 설계
한국정보과학회 영남지부 학술발표논문집
2006 .12
UML을 이용한 닷넷기반의 경영관리시스템에 대한 설계
컴퓨터산업학회논문지
2006 .01
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
0