tailieunhanh - Bài giảng Đặc tả hình thức: Chương 1 - PGS.TS. Vũ Thanh Nguyên

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, . | 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 https tailieudientucntt 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 https tailieudientucntt 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 https tailieudientucntt 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 https tailieudientucntt 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 https tailieudientucntt 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 https tailieudientucntt 6 Mở đầu Quy Trình 4 5 2019 . Vũ Thanh Nguyên https tailieudientucntt 7 Mở đầu Những lưu ý Phân tích Lập các mô hình thế giới thực Mô hình dữ liệu Các ràng buộc Mô hình xử lý Mô hình trạng thái Mô hình thời gian Mô hình không gian. Đặc tả Các sơ đồ Các phát biểu về ràng buộc Các quy định về .