- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Using ZSpecification, Refinement, and Proof
Today's software comes with extensive documentation: user guides, reference manuals, and design documents. There are on-line help systems, interactive tutorials, and friendly `introductions for dummies'. Yet the behaviour of software is often a surprise to users and designers alike. Components interact and interfere, undesirable properties emerge, and systems fail to meet their requirements.
407 p dtu 19/10/2012 206 2
Từ khóa: design documents, software engineering, Using ZSpecification Refinement and Proof, kỹ sư phần mềm, phần mềm ứng dụng, ứng dụng máy tính