Bài giảng Ðặc tả ZGồm bốn thành phần cơbản các kiểu dữ liệu (types) • dựa trên khái niệm tập hợp các sơ đồ trạng thái (state schemas) • mô tả các biến và ràng buộc trên các biến các sơ đồ thao tác (operation schemas) • mô tả các thao tác (thay đổi trạng thái) các toán tử sơ đồ (schema operations) • định nghĩa các sơ đồ mới từ các sơ đồ đã có
28 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 1882 | Lượt tải: 0
Bài giảng Các kỹ thuật đặc tảđặc tả (specification) định nghĩa một hệ thống, mô-đun hay một sản phẩm cần phải làm cái gì không mô tả nó phải làm như thế nào mô tả những tính chất của vấn đề đặt ra không mô tả những tính chất của giải pháp cho vấn đề đó
23 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 2007 | Lượt tải: 1
Bài giảng Phân tích và đặc tả yêu cầuPhân tích và đặc tả yêu cầu Phân tích và đặc tả yêu cầu là tiến trình xác định: các dịch vụ/chức năng mà khách hàng yêu cầu từ hệ thống các ràng buộc mà hệ thống được phát triển và vận hành
20 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 1754 | Lượt tải: 1
Bài giảng Mô hình phát triểnCác hoạt động phát triển phần mềm Phân tích tính khả thi Phân tích vàñặc tả yêu cầu Thiết kế Mã hóa Kiểm thử Bảo trì
18 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 1665 | Lượt tải: 0
Bài giảng Giới thiệu công nghệ phần mềm1946, máy tính điện tử ra đời 1950, máy tính được thương mại hóa Phần mềm bắt đầu được phát triển Những năm 1960 những thất bại về phát triển phần mềm • sản phẩm phần mềm phức tạp • nhiều lỗi • tổ chức sản xuất: giá thành, tiến độ, . Người ta nói đến “Khủng hoảng phần mềm”
13 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 1838 | Lượt tải: 1
Đại cương về công nghệ phần mềmLập trình (programming), hay lập chương trình cho máy tính điện tử (MTĐT) là một ngành còn rất mới mẻ. MTĐT đầu tiên lập trình được mới chỉ xuất hiện cách đây hơn bốn mươi năm. Suốt hơn bốn thập kỷ qua, lập trình không ngừng được cải tiến và phát triển, càng ngày càng hướng về nhu cầu của người lập trình.
154 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 1458 | Lượt tải: 0
Bài giảng Đại số booleCác mạch điện trong máy tính và các dụng cụ điện tử khác đều có các đầu vào, mỗi đầu vào là số 0 hoặc số 1, và tạo ra các đầu ra cũng là các số 0 và 1. Các mạch điện đó đều có thể được xây dựng bằng cách dùng bất kỳ một phần tử cơ bản nào có hai trạng thái khác nhau. Chúng bao gồm các chuyển mạch có thể ở hai vị trí mở hoặc đóng và các dụng cụ quan...
21 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 2222 | Lượt tải: 0
Bài giảng Đồ thị phẳng và tô màu đồ thịTừ xa xưa đã lưu truyền một bài toán cổ “Ba nhà, ba giếng”: Có ba nhà ở gần ba cái giếng, nhưng không có đường nối thẳng các nhà với nhau cũng như không có đường nối thẳng các giếng với nhau. Có lần bất hoà với nhau, họ tìm cách làm các đường khác đến giếng sao cho các đường nàyđôi một không giao nhau. Họ có thực hiện được ý định đó không?
10 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 2015 | Lượt tải: 1
Bài giảng chương 6: CâyMột đồ thị liên thông và không có chu trình được gọi là cây. Cây đã được dùng từ năm 1857, khi nhà toán học Anh tên là Arthur Cayley dùng cây để xác định những dạng khác nhau của hợp chất hoá học. Từ đó cây đã được dùng để giải nhiều bài toán trong nhiều lĩnh vực khác nhau. Cây rất hay được sử dụng trong tin học. Chẳng hạn, người ta dùng cây để xây...
17 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 1696 | Lượt tải: 0
Bài giảng Một số bài toán tối ưu trên đồ thịTrong đời sống, chúng ta thường gặp những tình huống như sau: để đi từ địa điểm A đến địa điểm B trong thành phố, có nhiều đường đi, nhiều cách đi; có lúc ta chọn đường đi ngắn nhất (theo nghĩa cự ly), có lúc lại cần chọn đường đi nhanh nhất (theo nghĩa thời gian) và có lúc phải cân nhắc để chọn đường đi rẻ tiền nhất (theo nghĩa chi phí), v.v.
20 trang | Chia sẻ: vietpd | Ngày: 29/08/2013 | Lượt xem: 1579 | Lượt tải: 2
