SÁCH - Giáo trình Đặc tả hình thức (Vũ Thanh Nguyên & Hầu Nguyễn Thành Nam) Full
16 thg 3, 2025 | 00:00

SÁCH - Giáo trình Đặc tả hình thức (Vũ Thanh Nguyên & Hầu Nguyễn Thành Nam) Full



Tóm tắt

Hiện này với sự phát triển mạnh mẽ của hệ thống máy tính, nhu cầu đặc tả hệ thống trong các giai đoạn phát triển phần mềm càng được tăng cường. Bởi vì ngoài lợi ích mô tả hệ thống, các đặc tả còn giúp cho các người quản trị dự án có thể phát hiện sớm các lỗi trong hệ thống. Từ đó giúp giảm thiểu chi phí xây dựng và phát triển hệ thống hay phần mềm trong các giai đoạn sau của dự án. Giáo trình đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z. Ngoài ra giáo trình còn cung cấp phần kiến thức về phương pháp kiểm chứng và chứng minh tính đúng đắn của đặc tả hàm và luật suy diễn.


Chủ đề Công nghệ phần mềm, Giáo trình


NỘI DUNG:


Chương 1.            Mở đầu


1.1.         Giới thiệu chung về đặc tả hình thức


1.2.         Các khái niệm cơ bản


1.3.         Vai trò đặc tả hình thức trong quá trình phát triển phần mềm


Chương 2.            Các cơ sở đặc tả


2.1.         Lý thuyết tập hợp


2.2.         Logic mệnh đề và luật suy diễn


2.3.         Logic vị từ


2.4.         Bài tập áp dụng


Chương 3.            Đặc tả các thành phần cơ sở


3.1.         Đặc tả kiểu dữ liệu (tập hợp)


3.2.         Đặc tả mảng


3.3.         Đặc tả hàm


3.4.         Đặc tả không tường minh phép toán (operation)


3.5.         Đặc tả đối tượng phức


3.6.         Đặc tả kiểu ánh xạ


3.7.         Bài tập áp dụng


Chương 4.            Đặc tả và tính đúng đắn của hàm


4.1.         Ký hiệu sự thỏa mãn (Satisfaction notion)


4.2.         Phân Tích Chứng Minh (Analyzing a proof)


4.3.         Các ví dụ minh họa


4.4.         Phân tích tình huống


4.5.         Đặc tả một hàm phụ trợ (specification of a subsidiary function)


4.6.         Phương Pháp Quy Nạp (induction)


Chương 5.            Đặc tả với ngôn ngữ Z


5.1.         Giới thiệu ngôn ngữ Z


5.2.         Các khái niệm cơ bản trong ngôn ngữ Z


Chương 6.            Đặc tả với ngôn ngữ VDM


6.1.         Tổng quan về ngôn ngữ VDM


6.2.         Đặc tính của ngôn ngữ VDM


6.3.         Bài tập áp dụng


Chương 7.            Đặc tả với ngôn ngữ hiện đại Object-Z


7.1.         Giới thiệu ngôn ngữ Object-Z


7.2.         Lớp


7.3.         Đối tượng


7.4.         Kế thừa


7.5.         Đa hình


7.6.         Bài tập tình huống: Tetris





Tóm tắt

Hiện này với sự phát triển mạnh mẽ của hệ thống máy tính, nhu cầu đặc tả hệ thống trong các giai đoạn phát triển phần mềm càng được tăng cường. Bởi vì ngoài lợi ích mô tả hệ thống, các đặc tả còn giúp cho các người quản trị dự án có thể phát hiện sớm các lỗi trong hệ thống. Từ đó giúp giảm thiểu chi phí xây dựng và phát triển hệ thống hay phần mềm trong các giai đoạn sau của dự án. Giáo trình đặc tả hình thức cung cấp cho sinh viên các cơ sở toán học và các phương pháp đặc tả hình thức, ứng dụng đặc tả trong công nghệ phần mềm. Sinh viên được làm quen với hai ngôn ngữ đặc tả quen thuộc nhất là VDM và Z. Ngoài ra giáo trình còn cung cấp phần kiến thức về phương pháp kiểm chứng và chứng minh tính đúng đắn của đặc tả hàm và luật suy diễn.


Chủ đề Công nghệ phần mềm, Giáo trình


NỘI DUNG:


Chương 1.            Mở đầu


1.1.         Giới thiệu chung về đặc tả hình thức


1.2.         Các khái niệm cơ bản


1.3.         Vai trò đặc tả hình thức trong quá trình phát triển phần mềm


Chương 2.            Các cơ sở đặc tả


2.1.         Lý thuyết tập hợp


2.2.         Logic mệnh đề và luật suy diễn


2.3.         Logic vị từ


2.4.         Bài tập áp dụng


Chương 3.            Đặc tả các thành phần cơ sở


3.1.         Đặc tả kiểu dữ liệu (tập hợp)


3.2.         Đặc tả mảng


3.3.         Đặc tả hàm


3.4.         Đặc tả không tường minh phép toán (operation)


3.5.         Đặc tả đối tượng phức


3.6.         Đặc tả kiểu ánh xạ


3.7.         Bài tập áp dụng


Chương 4.            Đặc tả và tính đúng đắn của hàm


4.1.         Ký hiệu sự thỏa mãn (Satisfaction notion)


4.2.         Phân Tích Chứng Minh (Analyzing a proof)


4.3.         Các ví dụ minh họa


4.4.         Phân tích tình huống


4.5.         Đặc tả một hàm phụ trợ (specification of a subsidiary function)


4.6.         Phương Pháp Quy Nạp (induction)


Chương 5.            Đặc tả với ngôn ngữ Z


5.1.         Giới thiệu ngôn ngữ Z


5.2.         Các khái niệm cơ bản trong ngôn ngữ Z


Chương 6.            Đặc tả với ngôn ngữ VDM


6.1.         Tổng quan về ngôn ngữ VDM


6.2.         Đặc tính của ngôn ngữ VDM


6.3.         Bài tập áp dụng


Chương 7.            Đặc tả với ngôn ngữ hiện đại Object-Z


7.1.         Giới thiệu ngôn ngữ Object-Z


7.2.         Lớp


7.3.         Đối tượng


7.4.         Kế thừa


7.5.         Đa hình


7.6.         Bài tập tình huống: Tetris



M_tả
M_tả

Chuyên mục:

Không có nhận xét nào: