소프트웨어 공학 이야기 (개정증보판)

차성덕

고려대학교정보대학대학원컴퓨터학과교수이다.출간작으로『소프트웨어공학이야기』등이있다.

01서론
02소프트웨어공학이란무엇인가?
03왜소프트웨어공학을잘알아야하는가?
04소프트웨어의오류와심각한사고.더이상남의이야기가아니다
05소프트웨어개발방법론:무엇을선택할까?어떤기준으로결정할까?
06폭포수모델과점진적개발방법론
07애자일소프트웨어개발방법론
08애자일개발방법론의산업체사례및경험
09소프트웨어개발프로세스성숙모델CMMI
10Erricsson의프로세스개선노력사례
11프로세스개선노력은개발자들에게어떤영향을미칠까?
12요구사항을체계적으로분석하는방법은?
13요구사항의분석과건강한의심
14요구사항을분석할때생길수있는어려움들
15인텔사의요구공학경험사례
16기능요구사항과비기능요구사항은도대체뭐가다른데?
17UML(UnifiedModelingLanguage):사용할것인가?무시할것인가?
18소프트웨어의개발비용을어떻게산정할까?
19소프트웨어인스펙션기법이란?
20인스펙션을효과적으로할수있는방법들
21페이건인스펙션과최신코드리뷰기법
22코드리뷰는누가해야적절할까?
23보안취약점도코드리뷰를통해발견할수있나?
24소프트웨어테스팅은정말어려운가?왜어려운가?
25테스트커버리지의개념이란
26커버리지수치가보여주지못하는품질의속성은?
27체계적인소프트웨어테스팅의기본중기본은?
28테스팅자동화기법:ConcolicTesting과MetamorphicTesting
29MutationTesting기법은소프트웨어품질향상에실제로도움이될까?
30정적분석기법은품질향상에어떤도움을줄수있을까?
31정적분석기법의산업체적용경험
32정형검증기법은소프트웨어품질에어떻게기여할수있을까?
33정형검증:ModelCheckingvsTheoremProving
34소프트웨어의오류와Fault-Tolerance기법
35소프트웨어프로젝트관리기법
36소프트웨어개발자의성과나기여도를어떻게판단할까?
37개발자의생산성에영향을미치는요소는무엇인가?
38뛰어난소프트웨어개발자에게필요한역량은?누가훌륭한소프트웨어프로젝트매니저일까?
39개발자가새로운팀에잘적응하려면어떤방법이도움이될까?
40SoftwareEngineeringBestPracticesandWorstPractices