- 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
Bài giảng Đặc tả hình thức: Chương 1 - Nguyễn Thị Minh Tuyền
Bài giảng Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...
40 p pdu 31/01/2018 154 1
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình
Giáo trình Tóm tắt Công nghệ phần mềm
Các phương pháp, thủ tục và công cụ kỹ nghệ phần mềm đã được chấp nhận và ứng dụng thành công trong rất nhiều lĩnh vực công nghiệp. Các nhà quản lý và chuyên gia công nghệ thông tin đều nhận ra nhu cầu về cách tiếp cận có nguyên tắc hơn tới việc phát triển phần mềm. Sau đây cuốn sách sẽ giúp bạn hệ thống các nội dung chi tiết về...
149 p pdu 01/08/2012 155 3
Từ khóa: cấu trúc máy tính, công nghệ phần mềm, phần mềm máy tính, kỹ nghệ phần mềm, tài liệu kỹ nghệ phần mềm, đặc tả phần mềm,
Kiểm thử phần mềm Software testing
Several 1985-7 deaths of cancer patients were due to overdoses of radiation resulting from a race condition between concurrent tasks in the Therac-25 software. Errors in medical software have caused deaths. Details in B.W. Boehm, "Software and its Impact: A Quantitative Assessment," Datamation,19(5), 48-59(1973). cần kinh nghiệm khiểm thử, một vài sự hiểu biệt về các pha phát triển của dự án co1 thể có ích,...
31 p pdu 07/06/2012 136 2
Từ khóa: kinh nghiệm cài đặt, Giáo trình Công nghệ phần mềm, kỹ nghệ phần mềm, nguyên lý đặc tả, kỹ nghệ hệ thống, thiết kế phần mềm,
Đăng nhập