TAILIEUCHUNG - LUẬN VĂN:ĐẶC TẢ VÀ KIỂM CHỨNG PHẦN MỀM SỬ DỤNG CafeOBJ

Công nghệ thông tin hiện nay là một trong những ngành phát triển mạnh mẽ nói chung, cùng với công nghệ phần mềm nói riêng. Nhằm tạo ra những sản phẩm phần mềm đảm bảo chất lượng và tính chính xác cao. Nên việc đặc tả và kiểm chứng phần mềm hết sức quan trọng trong nhiều lĩnh vực sử dụng phần mềm, đặc biệt là các ngành công nghệ cao đòi hỏi sự chính xác cao của phần mềm. Trong khuôn khổ của một bài luận văn tốt nghiệp em đi sâu vào phương pháp đặc tả và kiểm. | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG nGhỆ Phạm Ngọc Thắng ĐẶC TẢ VÀ KIỂM CHỨNG PHÀN MỀM SỬ DỤNG CafeOBJ KHOÁ LUẬN TỐT nghiệp đại học hệ chính quy Ngành Công nghệ thông tin HÀ NỘI - 2010 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG nGhỆ Phạm Ngọc Thắng ĐẶC TẢ VÀ KIỂM CHỨNG PHÀN MỀM SỬ DỤNG CafeOBJ KHOÁ LUẬN TỐT nghiệp đại học hệ chính quy Ngành Công nghệ thông tin Cán bộ hướng dẫn TS. Nguyễn Việt Hà Cán bộ đồng hướng dẫn ThS. Đặng Việt Dũng HÀ NỘI - 2010 Đặc tả và kiểm chứng phần mềm sử dụng CafeOBJ Phạm Ngọc Thắng Lời cảm ơn Em xin bày tỏ lòng cảm ơn sâu sắc tới TS. Nguyễn Việt Hà và ThS. Đặng Việt Dũng về sự hướng dẫn chỉ bảo tận tình cùng với những lời khuyên quý giá của thầy trong quá trình em học tập cũng như thực hiện khóa luận. Em xin gửi lời cảm ơn tới các thầy cô giảng dạy tại Đại học Công nghệ - Đại học Quốc Gia Hà Nội đã trang bị cho em những kiến thức quý báu trong thời gian em học tại trường. Đó cũng là tiền đề cơ sở để em có thể thực hiện được tốt khóa luận của mình. Em xin gửi lời cảm ơn tới các thầy các cô trong bộ môn Công nghệ phần mềm đã tạo điều kiện cho em được làm việc ở trên bộ môn với đầy đủ trang thiết bị cho em học tập và làm việc. Cảm ơn bạn bè người thân về sự động viên giúp đỡ về mặt tinh thần cũng như về mặt vật chất trong thời gian em thực hiện khóa luận này. Hà nội tháng 6 năm 2010 Sinh viên thực hiện Phạm Ngọc Thắng

Hảo Nhi 64 50 pdf

Upload

Không thể tạo bản xem trước, hãy bấm tải xuống

Tải xuống

TÀI LIỆU LIÊN QUAN

Luận văn thạc sĩ giáo dục học: Phương pháp khai thác các kiến thức lý luận văn học trong đọc – hiểu văn bản văn học lớp 11 chương trình nâng cao

102 381 5

Ebook Luyện cách lập luận trong đoạn văn nghị luận cho học sinh phổ thông: Phần 2

111 279 0

Luận văn Thạc sĩ Khoa học Ngữ văn: Văn chính luận của Ngô Thì Nhậm

86 369 21

Làm thế nào để viết luận văn khoa học tốt một luận văn khoa học

6 353 0

Mấy ý kiến về viết luận văn thạc sĩ lí luận và phương pháp dạy học văn - Trần Thanh Bình

4 414 3

HƯỚNG DẪN QUY CÁCH TRÌNH BÀY LUẬN VĂN, TÓM TẮT LUẬN VĂN, XẾP TÀI LIỆU THAM KHẢO VÀ CÁCH TRÍCH DẪN, MẪU BÌA LUẬN VĂN VÀ TÓM TẮT LUẬN VĂN

14 371 6

LUẬN VĂN TỐT NGHIỆP NGÀNH NGỮ VĂN “ GIỌNG ĐIỆU NGHỆ THUẬT CỦA NHÀ VĂN BALZAC TRONG BA TIỂU THUYẾT TIÊU BIỂU

151 362 2

Khoá luận tốt nghiệp Sư phạm Ngữ Văn: Áp dụng mô hình vòng tròn thảo luận văn chương trong dạy học văn nghị luận văn học

78 9 3

Ebook Luyện cách lập luận trong đoạn văn nghị luận cho học sinh phổ thông: Phần 1

106 312 0

Luận văn Thạc sĩ Giáo dục học: Rèn luyện kỹ năng lập luận trong văn nghị luận cho học sinh Trung học phổ thông

148 376 1

TÀI LIỆU XEM NHIỀU

Một Case Về Hematology (1)

8 461860 55

Giới thiệu :Lập trình mã nguồn mở

14 22613 59

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10883 529

Câu hỏi và đáp án bài tập tình huống Quản trị học

14 10060 446

Phân tích và làm rõ ý kiến sau: “Bài thơ Tự tình II vừa nói lên bi kịch duyên phận vừa cho thấy khát vọng sống, khát vọng hạnh phúc của Hồ Xuân Hương”

3 9515 104

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8274 1125

Tiểu luận: Nội dung tư tưởng Hồ Chí Minh về đạo đức

16 8225 423

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7863 2220

Đề tài: Dự án kinh doanh thời trang quần áo nữ

17 6669 253

Vật lý hạt cơ bản (1)

29 5767 85

TỪ KHÓA LIÊN QUAN

TÀI LIỆU MỚI ĐĂNG

Giáo án mầm non chương trình đổi mới: Gia đình vui nhộn

4 312 1 25-04-2024

Giáo án mầm non chương trình đổi mới: Đề tài: Ôn xác định vị trí trên – dưới, trước- sau của đối tượng khác.

8 352 3 25-04-2024

Management and Services Part 1

10 156 0 25-04-2024

MySQL Database Usage & Administration PHẦN 7

37 154 0 25-04-2024

MÔN HỌC VẬT LIỆU VÀ CÔNG NGHỆ KIM LOẠI - PHẦN I: KIM LOẠI HỌC

32 175 2 25-04-2024

Đóng mới oto 8 chỗ ngồi part 9

10 116 0 25-04-2024

Khurana et al. Journal of Orthopaedic Surgery and Research 2010, 5:23

7 133 0 25-04-2024

Data Structures and Algorithms - Chapter 9: Hashing

54 113 0 25-04-2024

New Trends and Developments in Automotive Industry Part 7

35 94 0 25-04-2024

báo cáo hóa học:" Rare ligamentum flavum cyst causing incapacitating lumbar spinal stenosis: Experience with 3 Chinese patients"

4 96 0 25-04-2024

TÀI LIỆU HOT

Mẫu đơn thông tin ứng viên ngân hàng VIB

8 7863 2220

Giáo trình Tư tưởng Hồ Chí Minh - Mạch Quang Thắng (Dành cho bậc ĐH - Không chuyên ngành Lý luận chính trị)

152 5695 1353

Ebook Chào con ba mẹ đã sẵn sàng

112 3764 1231

Ebook Tuyển tập đề bài và bài văn nghị luận xã hội: Phần 1

62 5311 1135

Ebook Facts and Figures – Basic reading practice: Phần 1 – Đặng Tuấn Anh (Dịch)

249 8274 1125

Giáo trình Văn hóa kinh doanh - PGS.TS. Dương Thị Liễu

561 3492 642

Tiểu luận: Tư tưởng Hồ Chí Minh về xây dựng nhà nước trong sạch vững mạnh

13 10883 529

Giáo trình Sinh lí học trẻ em: Phần 1 - TS Lê Thanh Vân

122 3679 525

Giáo trình Pháp luật đại cương: Phần 1 - NXB ĐH Sư Phạm

274 4041 514

Bài tập nhóm quản lý dự án: Dự án xây dựng quán cafe

35 4123 480