소프트웨어공학 이야기

서론
소프트웨어공학이란 무엇인가?
왜 소프트웨어공학을 잘 알아야 하는가?
소프트웨어의 오류와 심각한 사고. 더 이상 남의 이야기가 아니다
소프트웨어 개발방법론: 무엇을 선택할까? 어떤 기준으로 결정할까?
폭포수 모델과 점진적 개발방법론
애자일 소프트웨어 개발방법론
애자일 개발방법론의 산업체 사례 및 경험
소프트웨어 개발 프로세스 성숙 모덜 CMMI
요구사항을 체계적으로 분석하는 방법은?
요구사항의 분석과 건강한 의심
요구사항을 분석할 때 생길 수 있는 어려움들
UML(Unified Modeling Language)을 잘 알아야 하는 이유
소프트웨어의 개발비용을 어떻게 산정할까?
소프트웨어 인스펙션 기법이란?
인스펙션을 효과적으로 할 수 있는 방법들
페이건 인스펙션과 최신 코드리뷰 기법
소프트웨어 테스팅은 정말 어려운가? 왜 어려운가?
테스트 커버리지의 개념이란
Concolic Testing
정형검증 기법은 소프트웨어 품질에 어떻게 기여할 수 있을까?
정형검증: Model Checking vs Theorem Proving
소프트웨어의 오류와 Fault-Tolerance 기법
소프트웨어 프로젝트 관리기법
Software Engineerign Best Practices and Worst Practices