메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
본 논문에서는 분산 멀티미디어 소프트웨어의 효율적인 명세 방법을 제안한다. 최근 매우 다양한 응용 범주와 통신망의 발달로 많은 분야에서 분산 멀티미디어 소프트웨어의 개발 요구가 발생하고 있다. 따라서 이러한 소프트웨어를 정확하고 신뢰성 있게 개발하기 위한 노력과 관심이 집중되고 있으며, 이러한 연구중의 하나가 소프트웨어의 효율적인 명세와 명세 내용의 검증 분야이다. 본 논문에서는 복잡한 대규모의 분산 소프트웨어를 체계적으로 분산하고, 명세할 수 있는 HOOSL(Hierarchical Object-Oriented Specification Language)를 제안한다. 이는 분산 소프트웨어를 계층적으로 분해하여 분석하고, 분해된 컴포넌트를 객체화함으로써 보다 효과적으로 시스템을 설계 할 수 있는 방법을 제공한다. 또한 제안된 언어는 시스템 명세의 검증을 위해 쉽게 사용할 수 있도록 비교적 정형화된 방법으로 제시되었다.

목차

요약

1. 연구 배경 및 동기

2. 관련 연구

3. HOOSL 방법의 개요

4. HOOSL 언어의 설계

5. 결론 및 향후 연구 방향

참고 문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

이 논문과 함께 이용한 논문

최근 본 자료

전체보기

댓글(0)

0

UCI(KEPA) : I410-ECN-0101-2009-569-017926760