Luận Văn Thạc Sĩ Phương Pháp Hình Thức Trong Việc Phát Triển Hệ Thống Hướng Đối Tượng

Phương Pháp Hình Thức Trong Việc Phát Triển Hệ Thống Hướng Đối Tượng​

Ngày nay thật hiếm có lĩnh vực nào lại không có sự tham gia của phần mềm. Sự phát triển nhanh chóng của phần cứng và sự gia tăng rất nhanh của nhu cầu sử dụng phần mềm đã làm cho việc phát triển phần mềm ngày càng phức tạp. Ngoài nhu cầu phát triển những hệ thống phần mềm có quy mô lớn và phức tạp thì yêu cầu bảo trì các hệ thống đó cũng ngày càng trở nên khó khăn. Thách thức của ngành công nghiệp phần mềm hiện nay là làm thế nào phát triển phần mềm thương mại với chất lượng cao: tin cậy, dễ mở rộng và bảo trì, phù hợp với yêu cầu người dùng đồng thời giá thành và thời gian phát triển phần mềm phải không được vượt quá mong đợi. Trong những năm gần đây, công nghệ phần mềm hướng đối tượng và các công cụ tự động trợ giúp cho nó đã trờ thành một giải pháp công nghệ hữu hiệu cho ngành công nghiệp phần mềm. Tiếp cận hướng đối tượng đã tỏ rõ nhiều ưu điểm so với các cách tiếp cận khác và trở thành một phương pháp phổ biến trong công nghệ phần mềm. Bên cạnh đó, việc áp dụng phương pháp hình thức vào quá trình phát triển phần mềm từ lâu đã là một phương án tốt cho việc phát triển phần mềm, đặc biệt đối với các hệ thống đòi hỏi sự chính xác cao. Phương pháp hình thức với việc sử dụng các công cụ toán học đã làm cơ sở cho việc đặc tả, chứng minh tính chính xác và kiểm chứng các hệ thống phần mềm.

• 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: PGS. TS. Nguyễn Văn Vỵ
• Tác giả: Nguyễn Hoàng Hà
• Số trang: 81
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Đại học Quốc gia Hà Nội 2007

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