tailieunhanh - 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