지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 서론
2. 관련 연구
3. 컴포넌트 정형명세를 위한 Z 스키마의 확장
4. 결론
[참고문헌]
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
Component - Z : Object - Z를 확장한 컴포넌트 정형 명세 언어
정보과학회논문지 : 소프트웨어 및 응용
2004 .05
객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법
정보과학회논문지 : 소프트웨어 및 응용
2004 .07
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
웹 서비스 컴포넌트를 이용한 소프트웨어 개발에서의 명세 확장 방법과 그 효과 분석
한국정보과학회 학술발표논문집
2006 .06
인터페이스 명세기반 컴포넌트 저장소 모델
한국정보과학회 학술발표논문집
2002 .10
디자인 패턴 컴포넌트의 명세와 조립에 관한 연구
대한전자공학회 학술대회
2003 .07
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
컴포넌트 합성을 위한 정형화 명세
정보과학회논문지(B)
1997 .11
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
정보과학회논문지 : 소프트웨어 및 응용
2008 .12
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
XML 기반 컴포넌트 명세서 모델링
한국정보과학회 학술발표논문집
2000 .10
자바 빈즈 컴포넌트의 내부 종속성 관계를 고려한 XML 기반 명세 기법에 관한 연구
한국정보과학회 학술발표논문집
2001 .10
능동보안 아키텍쳐를 위한 컴포넌트 분류 및 명세방법
멀티미디어학회논문지
2004 .01
컴포넌트 워크플로우 가변성의 정형 명세 및 모델링 기법
정보과학회논문지 : 소프트웨어 및 응용
2002 .10
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
0