Lecture Software Engineering - Chapter 10: Formal Specification

Lecture Software Engineering - Chapter 10: Formal Specification, objectives: To explain why formal specification techniques help discover problems in system requirements; To describe the use of algebraic techniques for interface specification; To describe the use of model-based techniques for behavioural specification. |

Không thể tạo bản xem trước, hãy bấm tải xuống
TÀI LIỆU MỚI ĐĂNG
174    381    1    29-03-2024
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.