Đang chuẩn bị liên kết để tải về tài liệu:
Lecture Formal methods in software engineering - Lecture 29

In this chapter, the following content will be discussed: Formal specification - techniques for the unambiguous specification of software, formal methods, acceptance of formal methods, use of formal methods, specification in the software process, specification and design, formal specification languages, . |