| 000 | 00000nam c2200205 k 4500 | |
| 001 | 000045306183 | |
| 005 | 20231024091325 | |
| 007 | ta | |
| 008 | 061113s2006 ulka b 001a kor | |
| 020 | ▼a 8972835242 : ▼c \29000 | |
| 024 | 3 1 | ▼a 9788972835240 ▼d 03000 |
| 040 | ▼a 211009 ▼c 211009 ▼d 211009 | |
| 041 | 1 | ▼a kor ▼h eng |
| 050 | 4 | ▼a QA76.758 ▼b .S6572 2006 |
| 082 | 0 4 | ▼a 005.1 ▼2 22 |
| 090 | ▼a 005.1 ▼b 2006k | |
| 100 | 1 | ▼a Sommerville, Ian, ▼d 1951- ▼0 AUTH(211009)147477 |
| 245 | 1 0 | ▼a 소프트웨어 공학 / ▼d Sommerville ; ▼e 권기태, ▼e 남영광 공역. |
| 246 | 1 9 | ▼a Software engineering. 7th ed. |
| 250 | ▼a 초판. | |
| 260 | ▼a 서울 : ▼b 홍릉과학출판사, ▼c 2006. | |
| 300 | ▼a xv, 711 p. : ▼b 삽도 ; ▼c 26 cm. | |
| 500 | ▼a 권말에 "용어설명(p. [677]-688)" 수록 | |
| 504 | ▼a 각 장마다 참고자료 수록 | |
| 504 | ▼a 참고문헌(p. [689]-704)과 색인(p. [705]-711) 수록 | |
| 650 | 0 | ▼a Software engineering. |
| 700 | 1 | ▼a 권기태, ▼g 權奇泰, ▼d 1962-, ▼e 역 ▼0 AUTH(211009)157429 |
| 700 | 1 | ▼a 남영광, ▼g 南泳光, ▼d 1960-, ▼e 역 ▼0 AUTH(211009)157436 |
| 900 | 1 1 | ▼a Kwon, Ki-t`ae, ▼e yok |
| 900 | 1 1 | ▼a Nam, Yong-gwang, ▼e yok |
| 940 | ▼a Sop`ut`uweo konghak | |
| 945 | ▼a KINS |
Holdings Information
| No. | Location | Call Number | Accession No. | Availability | Due Date | Make a Reservation | Service |
|---|---|---|---|---|---|---|---|
| No. 1 | Location Science & Engineering Library/Sci-Info(Stacks1)/ | Call Number 005.1 2006k | Accession No. 121134135 | Availability Available | Due Date | Make a Reservation | Service |
Contents information
Author Introduction
Ian Sommerville(지은이)
<소프트웨어 공학>
권기태(옮긴이)
서울대학교 계산통계학과 졸업. 동 대학원에서 전산학 전공으로 이학석사 및 이학박사 학위를 취득했다. 현재 강릉원주대학교 컴퓨터공학과 교수로 재직 중이다. 주요 저서 및 역서 • <프로그래밍 언어론>, 홍릉과학출판사(2010) • <소프트웨어공학(제10판)>, 한티미디어(2016) • <엑셀로 배우는 딥러닝>, 성안당(2018) • <성공과 실패를 결정하는 1%의 프로그래밍 작동 원리>, 성안당(2019) • <누구나 파이썬 통계분석>, 한빛아카데미(2020) • <현장에서 사용할 수 있는 앙케트 분석 입문>, 성안당(2020) • <R로 하는 다변량 데이터 분석>, 한빛아카데미(2020) • <엑셀로 배우는 순환 신경망·강화학습 초(超)입문>, 성안당(2020)
Table of Contents
목차 Part 1 개요 제1장 서론 1.1 소프트웨어 공학에 대해 자주 물어보는 질문 = 5 1.2 직업적 책임과 윤리적 책임 = 13 참고자료 = 16 연습문제 = 17 제2장 사회-기술적 시스템 2.1 창발성 = 21 2.2 시스템 공학 = 22 2.3 조직, 사람, 컴퓨터 시스템 = 32 2.4 레거시 시스템 = 35 참고자료 = 37 연습문제 = 37 제3장 중대한 시스템 3.1 단순한 안전성 중심 시스템 = 41 3.2 시스템 확실성 = 43 3.3 가용성과 신뢰성 = 46 3.4 안전성 = 50 3.5 보안성 = 53 참고자료 = 55 연습문제 = 56 제4장 소프트웨어 프로세스 4.1 소프트웨어 프로세스 모델 = 59 4.2 프로세스 반복 = 64 4.3 프로세스 활동 = 68 4.4 Rational Unified Process = 75 4.5 컴퓨터 지원소프트웨어 공학 = 78 참고자료 = 82 연습문제 = 82 제5장 프로젝트 관리 5.1 관리 활동 = 86 5.2 프로젝트 계획 수립 = 87 5.3 프로젝트 일정 관리 = 91 5.4 위험 관리 = 96 참고자료 = 102 연습문제 = 102 Part 2 요구사항 제6장 소프트웨어 요구사항 6.1 기능적 요구사항과 비기능적 요구사항 = 109 6.2 사용자 요구사항 = 116 6.3 시스템 요구사항 = 119 6.4 인터페이스 명세 = 124 6.5 소프트웨어 요구사항 문서 = 125 참고자료 = 129 연습문제 = 129 제7장 요구 공학 프로세스 7.1 타당성 조사 = 133 7.2 요구사항 추출 및 분석 = 134 7.3 요구사항 검증 = 147 7.4 요구사항 관리 = 149 참고자료 = 154 연습문제 = 154 제8장 시스템 모델 8.1 배경 모델 = 158 8.2 행위 모델 = 159 8.3 데이터 모델 = 165 8.4 객체 모델 = 168 8.5 구조적 방법 = 173 참고자료 = 175 연습문제 = 176 제9장 중대한 시스템의 명세 9.1 위험 중심 명세 = 179 9.2 안전성 명세 = 186 9.3 보안성 명세 = 188 9.4 소프트웨어 신뢰성 명세 = 190 참고자료 = 196 연습문제 = 196 제10장 정형 명세 10.1 소프트웨어 프로세스에서의 정형 명세 = 201 10.2 서브시스템 인터페이스 명세 = 204 10.3 행위 명세 = 211 참고자료 = 217 연습문제 = 217 Part 3 설계 제11장 아키텍처 설계 11.1 아키텍처 설계 결정 = 225 11.2 시스템 구성 = 227 11.3 모듈 분해 스타일 = 232 11.4 제어 스타일 = 235 11.5 참조 아키텍처 = 240 참고자료 = 243 연습문제 = 243 제12장 분산 시스템 아키텍처 12.1 멀티프로세서 아키텍처 = 248 12.2 클라이언트 서버 아키텍처 = 249 12.3 분산객체 아키텍처 = 254 12.4 조직 간의 분산 컴퓨팅 = 262 참고자료 = 268 연습문제 = 269 제13장 응용 시스템 아키텍처 13.1 데이터 처리 시스템 = 273 13.2 트랜잭션 처리 시스템 = 275 13.3 이벤트 처리 시스템 = 282 13.4 언어 처리 시스템 = 285 참고자료 = 287 연습문제 = 288 제14장 객체지향 설계 14.1 객체와 객체 클래스 = 292 14.2 객체지향 설계 프로세스 = 296 14.3 설계 진화 = 310 참고자료 = 312 연습문제 = 312 제15장 실시간 소프트웨어 설계 15.1 시스템 설계 = 317 15.2 실시간 운영체제 = 321 15.3 모니터링 및 제어 시스템 = 324 15.4 데이터 획득 시스템 = 329 참고자료 = 333 연습문제 = 333 제16장 사용자 인터페이스 설계 16.1 설계 주제 = 340 16.2 UI 설계 프로세스 = 349 16.3 사용자 분석 = 351 16.4 사용자 인터페이스 프로토타이핑 = 354 16.5 인터페이스 평가 = 356 참고자료 = 358 연습문제 = 359 Part 4 개발 제17장 신속한 소프트웨어 개발 17.1 애자일 기법 = 368 17.2 익스트림 프로그래밍 = 370 17.3 신속한 응용 시스템 개발 = 377 17.4 소프트웨어 프로토타이핑 = 381 참고자료 = 384 연습문제 = 385 제18장 소프트웨어 재사용 18.1 재사용 전망 = 389 18.2 설계 패턴 = 392 18.3 생성기 기반의 재사용 = 395 18.4 응용 프레임워크 = 397 18.5 응용 시스템 재사용 = 399 참고자료 = 407 연습문제 = 408 제19장 컴포넌트 기반 소프트웨어 공학 19.1 컴포넌트와 컴포넌트 모델 = 412 19.2 CBSE 프로세스 = 420 19.3 컴포넌트 결합 = 423 참고자료 = 430 연습문제 = 430 제20장 중대한 시스템 개발 20.1 신뢰할 수 있는 프로세스 = 436 20.2 신뢰할 수 있는 프로그래밍 = 437 20.3 결함 내성 = 445 20.4 결함 내성 아키텍처 = 452 참고자료 = 456 연습문제 = 456 제21장 소프트웨어 진화 21.1 프로그램 진화 역학 = 460 21.2 소프트웨어 유지보수 = 462 21.3 진화 프로세스 = 468 21.4 레거시 시스템 진화 = 474 참고자료 = 479 연습문제 = 479 Part 5 증명과 검증 제22장 증명과 검증 22.1 증명과 검증 계획 수립 = 487 22.2 소프트웨어 검사 = 489 22.3 자동화된 정적 분석 = 494 22.4 증명과 정형 기법 = 498 참고자료 = 502 연습문제 = 503 제23장 소프트웨어 시험 23.1 시스템 시험 = 507 23.2 컴포넌트 시험 = 514 23.3 시험 사례 설계 = 518 23.4 시험 자동화 = 529 참고자료 = 531 연습문제 = 531 제24장 중대한 시스템의 검증 24.1 신뢰성 검증 = 535 24.2 안전성 보증 = 541 24.3 보안성 평가 = 548 24.4 안전성과 확실성 사례 = 550 참고자료 = 553 연습문제 = 553 Part 6 인간 관리 제25장 인간 관리 25.1 직원 선발 = 561 25.2 동기 부여 = 564 25.3 그룹 관리 = 567 25.4 인간 능력 성숙도 모델 = 576 참고자료 = 578 연습문제 = 578 제26장 소프트웨어 비용 산정 26.1 소프트웨어 생산성 = 583 26.2 산정 기법 = 587 26.3 알고리즘 비용 산정 모델 = 590 26.4 프로젝트 기간과 인원 설정 = 604 참고자료 = 606 연습문제 = 606 제27장 품질 경영 27.1 프로세스와 제품 품질 = 611 27.2 품질 보증과 표준 = 612 27.3 품질 계획 수립 = 618 27.4 품질 관리 = 619 27.5 소프트웨어 측정과 척도 = 621 참고자료 = 629 연습문제 = 629 제28장 프로세스 개선 28.1 프로세스와 제품 품질 = 633 28.2 프로세스 분류 = 635 28.3 프로세스 측정 = 638 28.4 프로세스 분석과 모델링 = 639 28.5 프로세스 변경 = 644 28.6 CMMI 프로세스 개선 프레임워크 = 645 참고자료 = 652 연습문제 = 652 제29장 형상 관리 29.1 형상관리 계획 수립 = 657 29.2 변경 관리 = 660 29.3 버전과 릴리스 관리 = 663 29.4 시스템 구축 = 670 29.5 형상관리를 위한 CASE 도구 = 671 참고자료 = 675 연습문제 = 676 용어설명 = 677 참고문헌 = 689 찾아보기 = 705
