책 이미지
책 정보
· 분류 : 국내도서 > 컴퓨터/모바일 > 컴퓨터 공학 > 소프트웨어 공학
· ISBN : 9788959727773
· 쪽수 : 692쪽
책 소개
목차
❏PART 1 소개
Chapter 1 소개 및 개요
❏PART 2 안전 필수 소프트웨어 개발의 맥락
Chapter 2 시스템 맥락에서의 소프트웨어
Chapter 3 시스템 안전성 평가 맥락에서의 소프트웨어
❏PART 3 DO-178C를 사용한 안전 필수 소프트웨어 개발
Chapter 4 DO-178C의 개요와 지원 문서들
Chapter 5 소프트웨어 계획
Chapter 6 소프트웨어 요구사항
Chapter 7 소프트웨어 설계
Chapter 8 소프트웨어 구현 : 코딩 및 통합
Chapter 9 소프트웨어 검증
Chapter 10 소프트웨어 형상 관리
Chapter 11 소프트웨어 품질 보증
Chapter 12 인증 교섭
❏PART 4 도구 인증과 DO-178C 부속서
Chapter 13 DO-330과 소프트웨어 도구 인증
Chapter 14 DO-331과 모델 기반 개발 및 검증
Chapter 15 DO-332와 객체 지향 기술 및 관련 기법
Chapter 16 DO-333과 정형 기법
❏PART 5 특별한 주제들
Chapter 17 커버되지 않은 코드(데드 코드, 관련 없는 코드, 비활성화된 코드)
Chapter 18 현장 적재가능 소프트웨어(Field-Loadable Software)
Chapter 19 사용자 수정가능 소프트웨어(User-Modifiable Software)
Chapter 20 실시간 운영체제(Real-Time Operating Systems)
Chapter 21 소프트웨어 파티셔닝(Software Partitioning)
Chapter 22 구성 데이터(Configuration Data)
Chapter 23 항공용 데이터(Aeronautical Data)
Chapter 24 소프트웨어 재사용(Software Reuse)
Chapter 25 리버스 엔지니어링(Reverse Engineering)
Chapter 26 아웃소싱 및 해외 외주(Offshoring) 소프트웨어 라이프 사이클 활동