Bài giảng "Đặc tả hình thức - Chương 1: Tổng quan" cung cấp cho người học các kiến thức: Đặc tả hình thức và quy trình CNPM, vai trò đặc tả hình thức trong quá trình phát triển phần mềm,. nội dung chi tiết. | Bài giảng Đặc tả hình thức: Chương 1 - . Vũ Thanh Nguyên Trường Đại học Công Nghệ Thông Tin, ĐHQG-HCM Khoa Công Nghệ Phần Mềm Chương 1 Tổng quan Giảng viên: . Vũ Thanh Nguyên 4/5/2019 . Vũ Thanh Nguyên 1 Mở đầu Mục tiêu và Yêu cầu phần mềm: Mục tiêu: cái cần hướng tới Yêu cầu: cái cụ thể mà có thể kiểm tra được 4/5/2019 . Vũ Thanh Nguyên 2 Mở đầu Mục tiêu và Yêu cầu phần mềm: Yêu cầu chức năng: Mô tả một chức năng (dịch vụ) cụ thể mà phần mềm cung cấp: Mô tả hệ thống sẽ làm gì Mô tả các chức năng hoặc các dịch vụ của hệ thống một cách chi tiết Yêu cầu phi chức năng: Không đề cập trực tiếp tới các chức năng cụ thể của hệ thống. Đó là các ràng buột về chất lượng, về môi trường, chuẩn sử dụng, qui trình phát triển phần mềm 4/5/2019 . Vũ Thanh Nguyên 3 Mở đầu Mục tiêu và Yêu cầu phần mềm: Yêu cầu phi chức năng: 4/5/2019 . Vũ Thanh Nguyên 4 Mở đầu Mục tiêu và Yêu cầu phần mềm: Yêu cầu về sản phẩm: Tốc độ, độ tin cậy, bộ nhớ, giao diện, quy trình tác nghiệp Yêu cầu về tiến trình phát triển: Các chuẩn, phương pháp thiết kế, ngôn ngữ lập trình Yêu cầu ngoại lai: Chi phí, thời gian, bản quyền 4/5/2019 . Vũ Thanh Nguyên 5 Đặc tả hình thức và quy trình CNPM Các hoạt động trong Khảo sát thế giới thực Hiện trạng Xác định Các yêu cầu Yêu cầu Mô hình Thế giới thực Phân tích Mô hình phần mềm Thiết kế Phần mềm Cài đặt Phần mềm “chất lượng” Kiểm chứng Triển khai Waterfall 4/5/2019 . Vũ Thanh Nguyên 6 Mở đầu Quy Trình 4/5/2019 .
