Công nghệ phần mềm nâng cao

Buổi 1: Một số khái niệm cơ bản
1> Một số khái niệm cơ bản
- Công nghệ phần mềm (Software Engineer)
- Mục tiêu:
+ Score: khách hàng muốn, chất lượng cao
+ Cost: chi phí tối thiểu để làm sản phẩm
+ Time

2> Software
- Computer program
- Data structure
- Document

Vòng đời phát triển

Buổi 2: Môn hình phát triển phần mềm

Characteristics of a Good Software (trình bày rõ Software Quality Triangle ở link http://www.ianswer4u.com/2011/10/characteristics-of-good-software.html#axzz4VDnzozCE)


- Mô hình Thác Nước
- Mô hình chữ V
- Mô hình bản mẫu
- Mô hình xoắn ốc
- Agile

Tìm hiểu sự khác nhau giữ Verification với Valiedation

Buổi 3:
Kiểm thử hộp đen
Kiểm thử hộp trắng

Buổi 4:
UML + OCL

Buổi 5: Ngôn ngữ hình thức (formal methods)
Muốn làm tự động phải biểu diễn bằng công cụ toán học (đại số, logic, otomat...)
--> gọi là formal methods (phương pháp hình thức)

- Giải pháp giải quyết bài toán trên
+ Model checking
+ Theorem proving