Phần mềm-Ứng dụng
Phương pháp đai số tập trung vào thủ tục hợp nhất các đầu vào, định nghĩa một mô hình hình thức cho ứng dụng và các thuộc tính của nó. Các ứng dụng được mô tả bởi quá trình đại số và các thuộc tính được thể hiện bằng biểu thức logic như CTL (Computational Tree Logic).
Để đặc tả hệ thống bằng các văn phạm đại số, các tác giả trong [62] đã đặt các ký hiệu sau:
Tập tất cả các sự kiện ei được sinh ra theo phương thức mi. S là quy tắc sinh nhiệm vụ tương tác của người dùng
E là quy tắc sinh các lệnh bằng cách gọi những hành động cơ bản của tập hợp.
ASET biểu thị bất kỳ tập hợp con của A.
Như vậy đối với một hệ thống tương tác đa phương thức, quy tắc S và E được định nghĩa: các phép lựa chọn, tuầntự, đan xen, song song và phép toán chuỗi.
» Tin mới nhất:
- Tools for TMM Level 1 (09/12/2025)
- Testing tools (09/12/2025)
- Bắt đầu với Docker – Phần 4: Docker Image và cách xây dựng với Dockerfile (05/12/2025)
- Evaluating Testing Tools for the Workbench (14/11/2025)
- Goals for the Testers’ Workbench (14/11/2025)
» Các tin khác:
- Hệ thống thông tin hỗ trợ ra quyết định (18/03/2015)
- Khách sạn thời đại công nghệ (18/03/2015)
- Phương pháp B (17/01/2015)
- Phương pháp ICO (17/01/2015)
- Chèn bảng tính MS Excel vào văn bản MS Word (17/01/2015)
- Tính chỉ định trong ứng dụng tương tác (17/12/2014)
- Tính tương đương trong ứng dụng tương tác (17/12/2014)
- Các kí hiệu dùng cho quan hệ một-nhiều (20/11/2014)
- Direct Marketing (20/11/2014)
- Database Marketing (20/11/2014)
