Đang chuẩn bị liên kết để tải về tài liệu:
Lecture Software Engineering - Chapter 10: Formal Specification
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
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. |