TAILIEUCHUNG - 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,. 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 .

• Kỹ thuật lập trình
• Bài giảng Đặc tả hình thức
• Đặc tả hình thức
• Lập trình phần mềm
• Công nghệ phần mềm
• Đặc tả phần mềm
• Ngôn ngữ đặc tả hình thức
• Đặc tả hàm
• Đặc tả đệ quy
• Đặc tả hàm tường minh
• Đặc tả hàm không tường minh
• Đặc tả yêu cầu phần mềm
• Bài giảng Đặc tả yêu cầu phần mềm
• Công nghệ phần mềm nâng cao
• Phân loại đặc tả yêu cầu phần mềm
• Đặc tả phi hình thức phần mềm
• Đặc tả hình thức phần mềm
• Mô hình Thế giới thực
• Quy trình công nghệ phần mềm
• Ngôn ngữ hình thức
• Thiết kế ở mức cao
• Đặc tả ở mức mã nguồn
• JML nâng cao
• Từ khóa chính trong JML
• Các tính năng nâng cao
• Đặc tả các ngoại lệ
• Thừa kế đặc tả
• Các trường model
• Đặc tả không hình thức
• Phép toán vị từ
• Cơ sở đặc tả hình thức
• Luật suy diễn
• Cơ sở toán học trong đặc tả hình thức
• Hệ thống phần mềm
• Lỗi phần mềm
• Ngôn ngữ và hệ thống
• Các ngôn ngữ đặc tả
• Kiểm tra mô hình
• Mô hình hóa dữ liệu
• Kiểu dữ liệu
• Đặc tả operation
• Dữ liệu kiểu mảng
• Kiểu đối tượng phức
• Kiểu tập hợp
• Design by contract
• Ngôn ngữ đặc tả
• Công cụ hỗ trợ
• Giới thiệu về ESC Java2
• Cách sử dụng và thuộc tính
• Cấu trúc của ESC
• Các file đặc tả
• Thủ thuật và cạm bẫy
• Đặc tả thừa kế
• Đặc tả sử dụng ánh xạ
• Kiểu ánh xạ
• Ngôn ngữ đặc tả Z
• Phép toán trên giản đồ