Luận Văn Thạc Sĩ Kiểm Chứng Giao Diện Phần Mềm Bằng Phương Pháp Mô Hình Hóa Event - B

Kiểm Chứng Giao Diện Phần Mềm Bằng Phương Pháp Mô Hình Hóa Event - B ​

Ngày nay phần mềm có mặt trong hầu hết các lĩnh vực: Giáo dục, truyền thông, ngân hàng, sản xuất chế tạo, quản trị, y tế, khoa học kỹ thuật, hàng không vũ trụ, giải trí, … Giúp con người giải quyết hầu hết các công việc và dần thay thế con người. Đại đa số phần mềm hiện nay được xây dựng với một giao diện đồ họa người dùng Graphical User Interface (GUI) thân thiện và người sử dụng chỉ việc tương tác với giao diện của phần mềm. Việc phát triển phần mềm dần hướng tới đưa ra sản phẩm có giao diện dễ sử dụng, có tính thẩm mỹ cao và đảm bảo được các chức năng cần thiết.

• Luận văn thạc sĩ công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: PGS. TS. Trương Ninh Thuận
• Tác giả: Nguyễn Xuân Trường
• Số trang: 66
• Ngôn ngữ: Tiếng Việt
• Đại học quốc gia Hà Nội 2016

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