Mô tả
Các vấn đề trong mô hình hóa và xác minh chất lượng và biến thể trong các hệ thống hướng đối tượng. Các mô hình có thể kiểm tra được trong các phương pháp hướng mô hình và hướng kiểm thử. Kỹ thuật dòng sản phẩm hệ thống. Đảm bảo tương thích chức năng: mô hình hóa và xác minh kịch bản, thiết kế theo hợp đồng. Tuân thủ các yêu cầu phi chức năng: mục tiêu, các lực tác động và sự đánh đổi, chỉ số đo.
Văn bản tham chiếu bằng ngôn ngữ gốc
Issues in modeling and verifying quality and variability in object-oriented systems. Testable models in model-driven and test-driven approaches. System family engineering. Functional conformance: scenario modeling and verification, design by contract. Conformance to non functional requirements: goals, forces and tradeoffs, metrics.
Nguồn và tham khảo
Ngày và nguồn được giữ lại để giúp bạn kiểm tra thông tin. Các bản dịch được cung cấp để dễ đọc; nguồn chính thức là tham chiếu cho các điều kiện và yêu cầu.
Nguồn tham khảo : https://calendar.carleton.ca/grad/courses/COMP/