지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
Abstract
1. 서론
2. 객체지향 페트리 넷
3. HOONet의 정의
4. 요구사항 분석 및 명세
5. 합성적 모델 분석 및 검증
6. 결론
참고문헌
저자소개
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
Z 정형적 명세의 객체 지향 애니메이션
정보과학회논문지(B)
1996 .12
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
객체 지향 명세화 시스템 설계에 관한 연구 ( A Study on Object-Oriented Specification System Design )
한국통신학회 학술대회논문집
1994 .01
객체 지향 명세화 시스템 설계에 관한 연구
한국통신학회 학술대회논문집
1994 .11
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
실시간 객체를 위한 명세 및 분석 방법
한국정보과학회 학술발표논문집
1995 .10
안전 필수 철도 시스템 개발을 위한 요구 사항의 정형 명세 작성
정보과학회논문지 : 소프트웨어 및 응용
2008 .12
객체지향 설계에서 정형명세를 이용한 컴포넌트 설계로의 변환 기법
정보과학회논문지 : 소프트웨어 및 응용
2004 .07
AFOORSL : 객체 지향 시스템을 위한 정형적 요구 사항 명세 언어
한국정보과학회 학술발표논문집
1995 .10
PVS를 이용한 SCR 스타일의 소프트웨어 요구사항 명세에서 기능 요구 사항의 정형 검증
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2002 .02
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
Z 명세의 객체 지향 애니메이션
한국정보과학회 학술발표논문집
1995 .10
객체지향 개발환경에서의 보안 요구사항명세에 관한 연구
정보보증논문지
2005 .01
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
소프트웨어사업 요구사항 명세화 표준지침 개발
정보과학회논문지 : 소프트웨어 및 응용
2009 .07
대수적 명세 기법을 이용한 정형화된 객체 지향 명세서 시스템 구현
정보과학회논문지(C)
1996 .12
객체 지향 정형 명세 언어를 사용한 S / Key 시스템 명세
한국정보과학회 학술발표논문집
2001 .04
객체 지향 요구 분석의 동적 행위 검증을 위한 방법
한국정보과학회 학술발표논문집
1997 .04
0