기능목록>검색 : 국방대학교 도서관

Ada를 利用한 실시간 소프트웨어 開發 프로세스 모델링,. M97508

QR코드

미리보기 도서정보

도서 상세정보
자료유형 :	(군대학) 학위논문
분류기호 :	393.8
서명/저자사항 :	Ada를 利用한 실시간 소프트웨어 開發 프로세스 모델링,. M97508/ 백광호
발행사항 :	서울: 국방대학원, 1998
형태사항 :	62 p.
학위논문주기 :	학위논문(석사) -- 국방대학교 대학원, 1998
개인저자 :	백광호
언어	한국어

원문
원문보기 :	Ada를 利用한 실시간 소프트웨어 開發 프로세스 모델링,. M97508 Ada를 利用한 실시간 소프트웨어 開發 프로세스 모델링,. M97508 Ada를 利用한 실시간 소프트웨어 開發 프로세스 모델링,. M97508

소장정보

국방대학교 도서관

예예약
인인쇄
SSMS
서서가부재
보보존서고
우우선정리예약
무무인예약대출

예약

1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
3. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

무인예약대출

1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
5. 기타 문의사항은 도서관에 문의 바랍니다.

닫기

49826719 권 호 : 73
발행년 : 199802
저 자 : 백광호
서 명 : Ada를 利用한 실시간 소프트웨어 開發 프로세스 모델링

표제지 = 0,1,3
감사의글 = 0,4,1
요약 = ⅰ,5,1
목차 = ⅱ,6,3
표목차 = ⅴ,9,1
그림목차 = ⅵ,10,2
제1장 서론 = 1,12,1
1.1 연구 배경 및 목적 = 1,12,1
1.2 연구 범위 및 방법 = 2,13,2
제2장 HRT-HOOD 고찰 = 4,15,1
2.1 용어의 정의 = 4,15,3
2.2 개요 = 7,18,1
2.3 HRT-HOOD의 객체 = 8,19,1
2.3.1 객체의 정의 = 9,20,1
2.3.2 객체간의 관계 = 9,20,1
2.4 객체와 Ada 언어의 사상(Mapping) = 10,21,1
2.4.1 Passive 객체 = 10,21,1
2.4.2 Active 객체 = 11,22,4
2.4.3 Protected 객체 = 15,26,1
2.4.4 Cyclic 객체 = 16,27,2
2.4.5 Sporadic 객체 = 18,29,3
2.5 HRT-HOOD에 따른 실시간 소프트웨어 분석시 고려사항 = 21,32,1
2.5.1 객체의 형태 구분 = 21,32,1
2.5.2 게객체의 오퍼레이션 제약 = 21,32,2
2.5.3 객체의 실시간 성분 = 23,34,1
2.5.4 객체의 내부 통제 구조 = 23,34,1
제3장 APM(Ada Process Model) 고찰 = 24,35,1
3.1 개요 = 24,35,1
3.2 분석 = 25,36,1
3.3 설계 = 26,37,1
3.4 구현 = 27,38,2
제4장 실시간 소프트웨어 개발 프로세스 모델 = 29,40,1
4.1 개요 = 29,40,1
4.2 실시간 소프트웨어 설계시 고려사항 = 30,41,1
4.2.1 Use Case간 병행성 식별 = 30,41,1
4.2.2 객체의 형태 식별 = 30,41,1
4.2.3 Operation/Event에 대한 주기/deadline 식별 = 31,42,1
4.2.4 오퍼레이션 제약 식별 = 31,42,1
4.2.5 객체의 제어구조 식별 = 32,43,1
4.2.6 객체의 실시간 성분 분석 = 33,44,1
4.3 객체의 Ada 페케지 전환 = 33,44,1
4.3.1 페케지 식별 = 34,45,1
4.3.2 페케지 구성요소 식별 = 34,45,1
4.3.3 페케지의 실시간 성분 식별 및 표현 = 35,46,1
4.3.4 페케지 정제 = 35,46,1
4.4 실시간 소프트웨어 개발 프로세스 = 36,47,1
4.4.1 분석 단계 = 37,48,1
4.4.1.1 Use-Case Model 작성 활동 = 37,48,3
4.4.1.2 System Object Model 작성 활동 = 40,51,1
4.4.1.3 Interface Model 작성 활동 = 41,52,4
4.4.1.4 분석 모델 검증 활동 = 45,56,1
4.4.2 설계 단계 = 45,56,1
4.4.2.1 Object Interaction Graphs 작성 활동 = 46,57,1
4.4.2.2 Activity Diagram 작성 활동 = 47,58,2
4.4.2.3 Package Model 작성 활동 = 49,60,3
4.4.2.4 Inheritance Graphs 작성 활동 = 52,63,1
4.4.2.5 Package Description 작성 활동 = 53,64,2
4.4.2.6 설계 모델 검증 활동 = 55,66,1
4.4.3 구현 단계 = 55,66,1
4.4.3.1 페케지 코딩 활동 = 56,67,1
4.4.3.2 단위 페케지 시험 활동 = 57,68,1
4.4.3.3 서브시스템 시험 활동 = 57,68,1
4.4.3.4 시스템 시험 활동 = 57,68,1
4.4.4 모델과 표기법 = 58,69,1
제5장 결론 = 59,70,2
참고문헌 = 61,72,2

표목차
(표2-1) 객체의 오퍼레이션 제약 = 22,33,1
(표2-2) 객체의 실시간 성분 = 22,33,3
(표3-1) APM의 분석단계 주요활동과 관련 산출물 = 25,36,1
(표3-2) APM의 설계단계 주요활동과 관련 산출물 = 26,37,1
(표3-3) APM의 구현단계 주요활동과 관련 산출물 = 27,38,11
(표4-1) 분석단계 주요활동과 관련 산출물 = 38,49,8
(표4-2) 설계단계 주요활동과 관련 산출물 = 46,57,12
(표4-3) 모델과 표기법 = 58,69,1

그림목차
(그림2-1) Active 객체의 Ada 구조 = 11,22,6
(그림2-2) Cyclic 객체의 Ada 구조 = 17,28,2
(그림2-3) Sporadic 객체의 Ada 구조 = 19,30,5
(그림3-1) APM 프로세스와 모델 = 24,35,5
(그림4-1) APM 모델과 실시간 소프트웨어 설계시 고려사항 = 29,40,8
(그림4-2) ACTS의 배경도 = 37,48,2
(그림4-3) Use-Case Diagram = 39,50,1
(그림4-4) 시나리오 = 39,50,1
(그림4-5) System Object Model = 40,51,1
(그림4-6) Subsytem Object Model = 41,52,1
(그림4-7) System Interface = 42,53,1
(그림4-8) Time-Line Diagram = 42,53,1
(그림4-9) Lfie-Cycle Model = 43,54,1
(그림4-10) System Operation Model = 44,55,1
(그림4-11) 사용자 인터페이스 모듈 구성도 = 44,55,3
(그림4-12) Object Interaction Graphs = 47,58,1
(그림4-13) Object Activity Diagram = 48,59,1
(그림4-14) System Activity Diagram = 49,60,1
(그림4-15) 실시간 성분 자료 = 50,61,1
(그림4-16) Object Packaging Matrix = 51,62,1
(그림4-17) Package Visbility Dependency Graphs = 51,62,1
(그림4-18) Package Diagram = 52,63,1
(그림4-19) Inheritance Graphs = 53,64,1
(그림4-20) 페케지 구성요소 명세부분 = 54,65,1
(그림2-21) 페케지 실시간 성분 명세부분 = 54,65,1

펼쳐보기