지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 기반 연구
3. 컴포넌트 기반 설계의 정형명세 언어
4. 객체지향 설계의 정형명세화 기법
5. 객체지향 정형명세에서 컴포넌트 정형명세로의 변환 기법
6. 변환 툴(Transformation Tool)
7. 사례 연구
8. 결론
참고문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
Component - Z : Object - Z를 확장한 컴포넌트 정형 명세 언어
정보과학회논문지 : 소프트웨어 및 응용
2004 .05
컴포넌트 정형명세를 위한 Z 스키마의 확장
한국멀티미디어학회 학술발표논문집
2002 .05
객체 지향 명세화 시스템 설계에 관한 연구
한국통신학회 학술대회논문집
1994 .11
객체 지향 명세화 시스템 설계에 관한 연구 ( A Study on Object-Oriented Specification System Design )
한국통신학회 학술대회논문집
1994 .01
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
형식명세로 변환된 객체모델의 검증방법과 시뮬레이션
한국컴퓨터정보학회논문지
2007 .12
객체 지향 정형 명세 언어를 사용한 S / Key 시스템 명세
한국정보과학회 학술발표논문집
2001 .04
대수적 명세 기법을 이용한 정형화된 객체 지향 명세서 시스템 구현
정보과학회논문지(C)
1996 .12
객체모델에 대한 형식명세로의 변환 방법
한국컴퓨터정보학회논문지
2003 .12
객체 모델 선택을 위한 검증 및 검색방법
한국인터넷방송통신학회 논문지
2009 .01
AFOORSL : 객체 지향 시스템을 위한 정형적 요구 사항 명세 언어
한국정보과학회 학술발표논문집
1995 .10
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
정보과학회논문지 : 소프트웨어 및 응용
2008 .12
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
Larch 명세 언어의 정형적 의미론
한국정보과학회 학술발표논문집
1995 .10
VDM 모듈에서 자료흐름도로의 명세변환
한국정보과학회 학술발표논문집
1993 .10
0