개인구독
소속 기관이 없으신 경우, 개인 정기구독을 하시면 저렴하게
논문을 무제한 열람 이용할 수 있어요.
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
이용수
요약
1. 연구 배경 및 동기
2. 관련 연구
3. HOOSL 방법의 개요
4. HOOSL 언어의 설계
5. 결론 및 향후 연구 방향
참고 문헌
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
[特輯]소프트웨어 요구 정의 및 명세를 위한 언어
정보과학회지
1984 .06
통신 소프트웨어 개발 환경의 설계 및 명세 작성기의 구현
한국정보과학회 학술발표논문집
1999 .04
XML 기반의 컴포넌트 명세 언어
한국정보과학회 학술발표논문집
1999 .10
소프트웨어 요구명세와 설계 명세간의 부합성 검사
한국정보과학회 학술발표논문집
2004 .10
도시 교통관제 시스템의 정형 명세
한국정보과학회 학술발표논문집
1998 .04
네트워크 시스템 명세를 위한 Z 기반 프레임워크
한국정보과학회 학술발표논문집
2011 .06
대수적 명세기법을 이용한 소프트웨어 설계에 관한 연구
한국정보과학회 학술발표논문집
1987 .10
통신 소프트웨어의 정형적 명세 방안
한국통신학회 학술대회 및 강연회
1997 .01
정형적 방법을 이용하는 사용자 인터페이스 명세 시스템의 설계
한국정보과학회 학술발표논문집
1992 .10
결함허용 실시간 소프트웨어 설계를 위한 명세언어
한국산업정보학회논문지
1997 .12
추상 자료형 명세에 의한 C++ Class 생성에 관한 연구
한국정보과학회 학술발표논문집
1989 .10
대수명세의 구현과 증분식 테스팅
한국정보과학회 학술발표논문집
1990 .10
네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크
정보과학회논문지 : 컴퓨팅의 실제 및 레터
2012 .02
대수명세기법의 새로운 접근방법
한국정보과학회 학술발표논문집
1990 .04
분산 소프트웨어의 복잡도 측정에 관한 연구
한국정보과학회 학술발표논문집
1990 .04
VDM 모듈에서 자료흐름도로의 명세변환
한국정보과학회 학술발표논문집
1993 .10
실시간 분산 소프트웨어의 순차적 동기적 속성의 명세에 관한 연구 ( A Study on Specification of Temporal and Synchronization Property of Real-Time Distributed Software )
한국통신학회 학술대회논문집
1997 .01
웹 서비스 컴포넌트를 이용한 소프트웨어 개발에서의 명세 확장 방법과 그 효과 분석
한국정보과학회 학술발표논문집
2006 .06
실시간 객체 지향 모델을 지원하기 위한 정형 명세
한국정보과학회 학술발표논문집
1999 .10
Safety - critical 시스템의 요구명세 검증
한국정보과학회 학술발표논문집
1996 .04
0