Giáo trình công nghệ lọc dầu part 6 pot

... (productivity)  tiến trình sản xuất phần mềm phải hiệu quả 5 9 Công nghệ phần mềm Khái niệm  Công nghệ phần mềm  nghiên cứu và phát triển các phương pháp, kĩ thuật và công cụ nhằm xây dựng ... thiệu công nghệ phần mềm (1) Nguyễn Thanh Bình Khoa Công nghệ Thông tin Trường ðại học Bách khoa ðại học ðà Nẵng 2 Nội dung  Lịch sử phát triển phần mềm và khủng hoảng phần mề...

Ngày tải lên: 06/07/2014, 20:20

... chỉ lớp kế cận bị ảnh hưởng  hỗ trợ mô hình phát triển tăng trưởng 26 Mô hình lớp  Ví dụ: hệ thống quản lý phiên bản 6 11 Các tiêu chuẩn của một phương pháp thiết kế  tính phân rã (modular ... tên sử dụng có ý nghĩa ? • cso sử dụng thuật toán phức tạp ?  Ví dụ  sử dụng “goto”  chương trình vài nghìn dòng lệnh, nhưng không sử dụng hàm/thủ tục 14 Các tiêu chuẩn của một phương phá...

Ngày tải lên: 06/07/2014, 20:20

... bằng ngôn ngữ lập trình • không ñơn thuần chỉ là lập trình • viết tài liệu • insertions/invariants • chuẩn lập trình (coding standards) • lập trình theo cặp (pair programming) • công cụ • quản lý ... rối • phát hiện các lỗi trong quá trình lập trình  Sản phẩm: chương trình 12 Các hoạt ñộng phát triển phần mềm  Kiểm thử (1)  phát hiện lỗi trong chương trình  lập kế hoạch...

Ngày tải lên: 06/07/2014, 20:20

... những người lập trình cài ñặt mô-ñun và những người lập trình sử dụng mô-ñun 16 31 Mạng Petri  Ví dụ 4: tình huống nghẽn (dead-lock) 22 P6 P4 P3 P1 P8 t1 t3 t5 t7 P7 P5 P2 P9 t2 t4 t6 t8 32 22 Mạng ... ñặc tả  Trình bày một số kỹ thuật  Máy trạng thái hữu hạn  Mạng Petri  ðiều kiện trước và sau  Kiểu trừu tượng  ðặc tả Z 1 Các kỹ thuật ñặc tả (4) Nguyễn Thanh Bình Khoa Công...

Ngày tải lên: 06/07/2014, 20:20

... CheckIn  Mở rộng thao tác cho trường hợp ghi nhận thành công 28 Ví dụ 1 (tiếp)  Cải tiến thao tác CheckIn  Mở rộng thao tác cho trường hợp ghi nhận thành công  Khi ñó GoodCheckIn == CheckIn ∧ Success 3 5 Kiểu ... dụng cặp ký hiệu [ và ] ñể ñịnh nghĩa kiểu cơ bản mới 1 ðặc tả Z (5) Nguyễn Thanh Bình Khoa Công nghệ Thông tin Trường ðại học Bách khoa ðại học ðà Nẵng 2 Giới thiệu ...

Ngày tải lên: 06/07/2014, 20:20

Ngày tải lên: 19/06/2014, 21:20