Luận Văn Thạc Sĩ Nghiên Cứu Và Ứng Dụng VDM++ Cho Mô Hình Hóa Và Kiểm Thử Hệ Thống IMP Tại NTTDATA Việt Nam

Nghiên Cứu Và Ứng Dụng VDM++ Cho Mô Hình Hóa Và Kiểm Thử Hệ Thống IMP Tại NTTDATA Việt Nam​

Trong quy trình phát triển phần mềm, những giai đoạn đầu của dự án đóng vai trò quyết định sự thành công của dự án. Thành công của dự án có nghĩa là đúng yêu cầu khách hàng, đúng thời gian và không vượt quá ngân sách. Một trong những giai đoạn đó là giai đoạn thiết kế chi tiết hệ thống sau khi thống nhất yêu cầu của khách hàng. Đầu ra của giai đoạn này là các tài liệu thiết kế chi tiết (thiết kế chi tiết chức năng, thiết kế cơ sở dữ liệu, thiết kế luồng xử lý dữ liệu, ...), là đầu vào cho giai đoạn viết mã chương trình, hay nói cách khác là dựa vào tài liệu thiết kế, người lập trình sẽ xây dựng, phát triển hệ thống theo yêu cầu khách hàng, đảm bảo chất lượng (tính đúng đắn) thiết kế giúp cho dự án có thể đúng tiến độ, đúng yêu cầu và không làm phát sinh ngân sách. Hiện tại, việc đảm bảo chất lượng tài liệu thiết kế chi tiết chủ yếu dựa vào trực quan, bằng cách sử dụng checklist đã được định nghĩa trước. Điều này đôi lúc không phát hiện được hết những lỗi đặc tả tiềm ẩn và lỗi thời gian thực trong tài liệu thiết kế.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Công nghệ phần mềm
• Người hướng dẫn khoa học: TS. Nguyễn Văn Tăng
• Tác giả: Nguyễn Xuân Tùng
• Số trang: 71
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2015

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1062570
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1