loading
  • Trang chủ
  • Sách, tuyển tập
  • Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh / Phạm, Như Uyển; Trương, Ninh Thuận
Sách, tuyển tập

Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh / Phạm, Như Uyển; Trương, Ninh Thuận

Tác giả : Phạm, Như Uyển; Trương, Ninh Thuận

Nhà xuất bản : Đại học Công nghệ

Năm xuất bản : 2016

Mô tả vật lý : 54 p.

Chủ đề : 1. Kiểm chứng. 2. Mô hình hóa. 3. Phần mềm hướng khía cạnh.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Lập trình hướng khía cạnh dựa sự kiện là một phương pháp tiếp cận mở rộng cho lập trình hướng khía cạnh. Lập trình hướng khía cạnh dựa sự kiện kết hợp ưu điểm của cả hai lập trình hướng khía cạnh và kiến trúc dựa trên sự kiện. Đề xuất phương pháp, chuyển đổi một chương trình lập trình hướng khía cạnh dựa sự kiện sang ngôn ngữ đặc tả Event-B. Sử dụng Event-B để sinh các mệnh đề cần chứng minh để kiểm tra lại những ứng dụng ràng buộc ảnh hưởng bởi khía cạnh. Tiếp tục phát triển cần phải mở rộng cùng với crosscuts phức tạp hơn vào mô hình lập trình hướng khía cạnh dựa sự kiện.
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Đại học Công nghệ - ĐHQGHN
https://repository.vnu.edu.vn/handle/VNU_123/41531