목차
제 1부 개요 = 1
제1장 개요 = 3
1.1 소프트웨어 제품 = 5
1.2 소프트웨어 프로세스 = 7
1.3 보엠(Boehm)의 나선형 모델 = 14
1.4 프로세스의 가시성 = 17
1.5 직업적인 책임 = 20
제2장 컴퓨터 기반 시스템 공학 = 25
2.1 시스템과 그들의 환경 = 27
2.2 시스템 획득(구매) = 28
2.3 시스템 공학 과정 = 30
2.4 시스템 구조 모델링 = 39
2.5 인간의 요소 = 42
2.6 시스템 신뢰도 공학 = 43
제3장 프로젝트 관리 = 47
3.1 관리 항목 = 49
3.2 프로젝트 계획 = 51
3.3 항목조직 = 54
3.4 프로젝트 일정관리 = 55
제2부 요구사항과 명세서 = 63
제4장 요구 공학 = 65
4.1 요구 공학 과정 = 69
4.2 소프트웨어 요구 사항의 문서 = 70
4.3 요구 사항 확인 = 73
4.4 요구 사항 진화 = 76
제5장 요구 분석 = 81
5.1 관점 지향 분석 = 84
5.2 방법기반 분석 = 87
5.3 시스템 정체도 = 95
5.4 사회적 조직적 인자 = 97
제6장 시스템 모델 = 103
6.1 자료-흐름 모델 = 105
6.2 의미론적 자료 모델 = 108
6.3 객체 모델 = 111
6.4 자료 사전 = 117
제7장 요구사항 정의 및 명세서 = 121
7.1 요구 정의 = 122
7.2 요구 명세서 = 126
7.3 비기능적 요구 사항 = 134
제8장 소프트웨어 시제품화 = 141
8.1 소프트웨어 프로세스에서의 시제품화 =145
8.2 시제품화 기술 = 150
8.3 사용자 인터페이스 시제품화 = 157
제9장 정형적 명세서 = 163
9.1 심리중인 정형적 명세서 = 165
9.2 변형적 개발 = 170
9.3 기능적 추상화의 명세서 = 171
제10장 대수적 명세서 = 179
10.1 시스템적 대수적 명세서 = 183
10.2 구조화된 명세서 = 187
10.3 오류 명세서 = 193
제11장 모델 기반 명세서 = 199
11.1 Z 스키마 = 200
11.2 Z 명세서 프로세스 = 205
11.3 정렬된 집합체의 명세 = 212
제3부 소프트웨어 설계 = 217
제12장 설계 프로세스 = 219
12.1 설계 프로세스 = 221
12.2 설계 전략 = 226
12.3 설계의 질 = 229
제13장 기본 설계 = 239
13.1 시스템 구조화 = 242
13.2 제어 모델 = 248
13.3 모듈 분해 = 253
13.4 영역-특정 구조 = 257
제 14장 객체지향 설계 = 265
14.1 객체, 객체 클래스, 계승 = 268
14.2 객체 인식 = 274
14.3 객제지향 설계의 예 = 276
14.4 병행 객체 = 288
제15장 기능지향 설계 = 295
15.1 데이터-흐름 설계 = 299
15.2 구조적 분해 = 300
15.3 상세 설계 = 304
15.4 설계 전략 비교 = 306
제16장 실시간 시스템 설계 = 319
16.1 시스템 설계 = 322
16.2 상태 기계 모델링 = 324
16.3 실시간 관리자 = 326
16.4 감독과 제어 시스템 = 330
16.5 자료 획득 시스템 = 335
제17장 사용자 인터페이스 설계 = 341
17.1 설계 원리 = 343
17.2 사용자-시스템 대화 = 346
17.3 정보 표현 = 354
17.4 사용자 지침 = 359
17.5 인터페이스 평가 = 366
제4부 신뢰할 수 있는 시스템 = 373
제18장 소프트웨어 신뢰도 = 375
18.1 소프트웨어 신뢰도 척도 = 381
18.2 소프트웨어 신뢰도 명세 = 383
18.3 통계적 시험 = 386
18.4 신뢰도 성장 모델 = 388
제19장 신뢰성을 위한 프로그래밍 = 395
19.1 결함(고장) 회피 = 396
19.2 결함 허용 = 404
19.3 예외 처리 = 408
19.4 방어적인 프로그래밍 = 412
제20장 소프트웨어 재사용 = 421
20.1 재사용을 이용한 소프트웨어 개발 = 424
20.2 재사용을 위한 소프트웨어 개발 = 427
20.3 생성기 기반의 재사용 = 437
20.4 응용 시스템 이식성 = 439
제21장 안전성 결정 소프트웨어 = 451
21.1 인슐린 배달 시스템 = 454
21.2 안전성 명세 = 455
21.3 안전성 보증 = 464
제5부 검증과 확인 = 475
제22장 검증과 확인 = 477
22.1 시험 프로세스 = 480
22.2 시험 계획 = 483
22.3 시험 전략 = 485
제23장 결점 시험 = 495
23.1 블랙 박스 시험 = 498
23.2 구조 시험 = 503
23.3 인터페이스 시험 = 509
제24장 정적 검증 = 515
24.1 프로그램 감사 = 516
24.2 수학적 검증 = 520
24.3 정적 분석 도구 = 525
24.4 청정 소프트웨어 개발 = 528
제6부 CASE = 535
제25장 CASE(Computer-Aided Software Engineering) = 537
25.1 CASE 분류 = 539
25.2 통합 CASE = 544
25.3 CASE 생명 주기 = 555
제26장 CASE 워크벤치 = 565
26.1 프로그래밍 워크벤치 = 568
26.2 분석과 설계 워크벤치 = 572
26.3 검사 워크벤치 = 575
26.4 메타 CASE 워크벤치 = 577
제27장 소프트웨어 공학환경 = 583
27.1 통합 환경 = 586
27.2 플랫폼 서비스 = 589
27.3 프레임웍 서비스 = 591
27.4 PCTE = 600
제7부 관리(MANAGEMENT) = 605
제28장 인적 관리(Managing People) = 607
28.1 인지론 기초(Cognitive fundamentals) = 608
28.2 관리함축(implications) = 614
28.3 프로젝트 인원 = 618
28.4 그룹 작업 = 620
28.5 작업 환경 = 627
제29장 소프트웨어 비용 산정 = 633
29.1 생산성 = 636
29.2 산정 기법 = 641
29.3 알고리즘 비용 모델링 = 643
29.4 프로젝트 기간과 인원 = 653
제30장 품질 관리 = 659
30.1 프로세스 품질 보증 = 664
30.2 품질 확인 = 665
30.3 소프트웨어 표준 = 668
30.4 문서화 표준 = 671
30.5 소프트웨어 메트릭 = 674
30.6 제품 품질 메트릭 = 680
제31장 프로세스 개선 = 689
31.1 프로세스와 제품 품질 = 692
31.2 프로세스 분석과 모델링 = 694
31.3 프로세스 측도 = 699
31.4 SEI 프로세스 성숙도 모델 = 701
31.5 프로세스 분류 = 706
제8부 진화(EVOLUTION) = 713
제32장 소프트웨어 유지보수 = 715
32.1 유지보수 프로세스 = 719
32.2 시스템 문서화 = 721
32.3 프로그램 진화 역학 = 722
32.4 유지보수 비용 = 724
32.5 유지보수성 측도 = 729
제33장 형상 관리 = 735
33.1 형상 관리 계획 수립 = 737
33.2 변경 관리 = 741
33.3 버전과 릴리스 관리 = 745
33.4 시스템 구축 = 753
제34장 소프트웨어 재공학 = 763
34.1 원시 코드 변환 = 768
34.2 프로그램 재구조화 = 769
34.3 자료 재공학 = 773
34.4 역공학 = 778
참고문헌 = 783
찾아보기 = 811
