Giáo trình Công nghệ phần mềm nâng cao

Giới thiệu môn học Công Nghệ Phần Mềm Nâng Cao 2Phạm Ngọc Hùng (hungpn@vnu.edu.vn)  Degrees:  B.S. from College of Technology, Vietnam National University, HaNoi (2002)  M.S. and PhD. from Japan Advanced Institute of Science and Technology (JAIST) (2006, 2009)  Professional Career  2002-2005: Teaching Assistant at Coltech, VNU  2005- Sept. 2009: Researcher at JAIST  Oct. 2009 - : Lecturer at Coltech, VNU  Research Interests  Software Verification and Testing  Assume-Guarantee Verification  Conformance Testing and Modular Conformance Testing  Software Evolution Thông tin học viên  Họ tên:  Nghề nghiệp:  Trường ĐH + năm tốt nghiệp  Đã học môn CNPM ở ĐH chưa?  Định hướng CV trong tương lai  Tại sao bạn học CH? 3 Thảo luận  Bạn đã biết gì về môn học này?  Bạn mong muốn gì từ môn học này? Kiến thức Kỹ năng PP giảng dạy Đánh giá kết quả  4 5Thông tin môn học  Tên môn: Công nghệ phần mềm nâng cao  Số tín chỉ: 2  Lý thuyết: 18 tiết  Bài tập: 8 tiết  Thảo luận: 4 tiết  Giảng viên: Phạm Ngọc Hùng Bộ môn CNPM: P. 309, nhà E3 Email: hungpn@vnu.edu.vn  6Tài liệu  Tài liệu chính  Bài giảng trên lớp (*)  Sommerville, Software Engineering, Addison-Wesley, 8th edition  Sách đọc thêm  Roger S. Pressman. Software Engineering - A practitioner’s approach, sixth edition, McGraw-Hill Companies, 2005  Grady Booch, James Rumbaugh, Ivar Jacobson， "The Unified Modeling Language User Guide", Addison Wesley, ISBN 0-201-57168-4  Các tài liệu điện tử khác. (*) có thể download từ website môn học 7Website môn học  Địa chỉ   Nội dung: Bài giảng, bài tập, thông báo, và mọi thông tin đều được đăng tại đây, học viên có trách nhiệm thường xuyên theo dõi 8Mục tiêu  Phát triển tiếp những hiểu biết về khái niệm và phương pháp để xây dựng một hệ thống phần mềm lớn  Tiếp cận được tư duy phát triển phần mềm một cách chuyên nghiệp  Nắm được một số phương pháp, qui trình, và công cụ hiện đại cho phát triển phần mềm  Thảo luận các phương pháp đảm bảo chất lượng PM 9Nội dung  Những khó khăn của Kỹ nghệ PM  Tiến trình và các mô hình vòng đời  Yêu cầu và đặc tả hình thức  Thiết kế  Thực thi  Đảm bảo chất lượng  Kiểm thử  Kiểm chứng (Verification: Model checking và Theorem proving)  Thẩm định (Validation) 10 Nội dung (tiếp)  Commercial off-the-shelf (COTS) và Tái sử dụng  Quản lý dự án  Đo và ước lượng  Lập lịch và theo dõi Quản lý rủi ro  Tổ chức nhóm và quản lý nhân sự  Một số vấn đề đang được quan tâm trong SE 11 Sử dụng công cụ  Phân tích thiết kế: Star UML  Các công cụ khác: Quản lý phiên bản Quản lý dự án ( 12 Đánh giá kết quả học tập  Chuyên cần: 30% Đi học đầy đủ Trao đổi, thảo luận trong giờ học  Bài tập hàng tuần: 30% Sau một số bài học (cá nhân hoặc nhóm)  Thi học kỳ: 40% Vấn đáp Các nội dung trao đổi trên lớp và tự học 13 Một số qui định  Điểm danh vào đầu giờ học  Đến muộn|Về sớm = vắng học  2 đến muộn = 1 vắng  Vắng có lý do phải được báo trước  Vắng quá 20% số buổi học (không quan tâm đến lý do) -> out  Đúng giờ  Khuyến khích trao đổi, hỏi đáp trong giờ học  Bất cứ khi nào  Tạo không khí vui vẻ trong lớp học  Không làm việc riêng  Mất trật tự = vi phạm qui chế môn học (điểm chuyên cần) Q&A 14