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

Lecture Formal methods in software engineering - Lecture 32: Adding formal methods to a project. This chapter presents the following content: Adding formal methods to a project, best use of formal methods, management considerations, technical considerations, types of analysis/formal methods, level of rigor for formal methods, . |