Đặc tảCác phương pháp hình thức có thể được sử dụng để mô tả về hệ thống cần phát triển, tại bất kỳ mức độ chi tiết nào mà ta muốn. Mô tả hình thức này có thể được sử dụng để hướng dẫn các hoạt động phát triển tiếp theo (xem các mục dưới); ngoài ra, nó có thể được sử dụng để kiểm định xem các yêu cầu cho hệ thống đang được phát triển đã được đặc tả...
28 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 2328 | Lượt tải: 0
Phát triểnKhi một đặc tả hình thức đã được phát triển xong, đặc tả đó có thể được sử dụng làm một hướng dẫn trong quá trình hệ thống thực được phát triển (nghĩa là được hiện thực hóa trong phần mềm và/hoặc phần cứng). Ví dụ: Nếu đặc tả hình thức là một ngữ nghĩa hoạt động, hành vi được quan sát của hệ thống thực sẽ có thể được so sánh với hành vi t...
23 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 2467 | Lượt tải: 0
Công nghệ phần mềm hay kỹ nghệ phần mềm (tiếng Anh: software engineering) là sự áp dụng một cách tiếp cận có hệ thống, có kỷ luật, và định lượng được cho việc phát triển, sử dụng và bảo trì phần mềm.[1] Ngành học kỹ nghệ phần mềm bao trùm kiến thức, các công cụ, và các phương pháp cho việc định nghĩa yêu cầu phần mềm, và thực hiện các tác vụ thiết ...
13 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 2227 | Lượt tải: 0
MỤC LỤC PHẦN I: MỞ ĐẦU 10 1. Lý do chọn đề tài 10 2. Đối tượng nghiên cứu. 10 3. Phạm vi nghiên cứu. 11 4. Mục đích nghiên cứu. 11 5. Phương pháp nghiên cứu. 11 6. Ý nghĩa lý luận và thực tiễn của đề tài 11 7. Cấu trúc của báo cáo. 12 PHẦN 2: NỘI DUNG 13 CHƯƠNG 1: TỔNG QUAN VỀ PHẦN MỀM XÂY DỰNG HỆ THỐNG QUẢN LÝ THÔNG TIN SINH VIÊN VÀ KẾ HOẠCH ĐÀO T...
87 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 11452 | Lượt tải: 1
Chương 1 Các thuật toán trên String 5 1.1 Xâu kí tự . 5 1.2 Về tổ chức dữ liệu vào/ra . 6 1.3 Data . 6 1.4 Xâu con chung 8 1.5 Đoạn chung . 9 1.6 Đoạn lặp 11 1.7 Từ điển 14 1.8 TEFI 17 1.9 E xiếc . 20 Chương 2 Xử lí dãy lệnh và biểu thức 23 2.1 Val . 23 2.2 Xâu thu gọn 26 2.3 Robot . 29 2.4 Hàm nhiều biến 33 2.5 Files . 38 2.6 Gen 4...
163 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 3142 | Lượt tải: 3
Chương 1 Các bài toán về đoạn thẳng 4 Bài 1.1 Đoạn rời 1 . 4 Bài 1.2 Đoạn gối 1 8 Bài 1.3 Đoạn gối 2 .11 Bài 1.4 Đoạn gối 3 .13 Bài 1.5 Đoạn bao nhau 1 16 Bài 1.6 Đoạn bao nhau 2 19 Bài 1.7 Phủ đoạn 1 21 Bài 1.8 Xanh đỏ tím vàng 1 .24 Bài 1.9 Xanh đỏ tím vàng 2 27 Bài 1.10 Phủ đoạn 2 .30 Bài 1.11 Đoạn rời 2 34 Bài 1.12 Ghép hình chữ nhậ...
161 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 2577 | Lượt tải: 1
Chương I GIẢI MỘT BÀI TOÁN TIN 1 Bài 1.1. Số thân thiện 2 Bài 1.2. Số cấp cộng 8 Bài 1.3. Số cấp nhân 11 Bài 1.4. Mảng ngẫu nhiên 13 Bài 1.5. Chia mảng tỉ lệ 1:1 16 Bài 1.6. Chia mảng tỉ lệ 1:k 21 Chương II SINH DỮ LIỆU VÀO VÀ RA 27 Bài 2.1. Sinh ngẫu nhiên theo khoảng 27 Bài 2.2. Sinh ngẫu nhiên tăng 29 Bài 2.3. Sinh hoán vị ngẫu nhiên 3...
282 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 2381 | Lượt tải: 2
Dự án đánh số điện thoại của Bang Florida được qui định như sau. Trong dự án đánh số điện thoại gồm 10 chữ số được chia thành nhóm; mã vùng gồm 3 chữ số, nhóm mã chi nhánh gồm chữ số và nhóm mã máy gồm 4 chữ số. Vì những nguyên nhân kỹ thuật nên có một hạn chế đối với các chữ số
156 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 2204 | Lượt tải: 1
chi tiết học tài liệu :Chương 1: Các khái niệm cơ bản1.1Kiểu dữ liệu (Data Type)1.2Kiểu dữ liệu cơ bản (Basic Data Type)1.3Kiểu dữ liệu có cấu trúc (Structured Data Type)1.4Kiểu dữ liệu trừu tượng (ADT – Abstract Data Type)1.5Cấu trúc dữ liệu (Data structure)1.6Đánh giá Cấu trúc dữ liệu1.7Big-O, Big-W, Big-Q1.8Ôn tập: Đệ quiChương 2: Các cấu trúc d...
52 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 2263 | Lượt tải: 1
Lý thuyết đồ thị xuất hiện từ cuối thế kỉ 19 và có nhiều ứng dụng trong thực thế Tài liệu trình bày các vấn đề cơ ản và nâng cao trong lý thuyết đồ thị - chương 1 : Tổng quan về đồ thị, biễu diễn đồ thị trên máy tính - chương 2 : các thuật toán tìm đường đi - chương 3 : Cây và cây khung ngắn nhất - chương 4 : đường đi nhắn nhất . Thuật toán Dịkks...
46 trang | Chia sẻ: tlsuongmuoi | Ngày: 25/06/2013 | Lượt xem: 5034 | Lượt tải: 4