HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Nghiên cứu đề xuất giải pháp khoa học và công nghệ phát triển sắn bền vững tại tỉnh Quảng Ngãi và vùng phụ cận
- Nghiên cứu tình hình viêm âm đạo do nấm Candida ở thai phụ đến khám tại Bệnh viện Đa khoa huyện Phước Long năm 2016
- Hình thành phát triển và quản lý tập đoàn kinh tế: Lý luận kinh nghiệm quốc tế và bài học cho Việt Nam (Sách tham khảo đề tài: Một số vấn đề lý luận và thực tiễn về xây dựng tập đoàn kinh tế Việt Nam)
- Nghiên cứu áp dụng phương pháp xây dựng lộ trình công nghệ trong đổi mới công nghệ ở Việt Nam
- Nghiên cứu thiết kế và chế tạo thiết bị chụp cắt lớp điện toán ứng dụng trong công nghiệp dầu khí ở Việt Nam
- Đánh giá tác động của ruồi Lính đen (Hemetia illucens Linnaeus 1758) đến môi trường và đa dạng sinh học
- Nghiên cứu xây dựng tiêu chuẩn hướng dẫn khung tích hợp và vận hành các cơ sở hạ tầng trong độ thị thông minh
- Nghiên cứu thực trạng và đề xuất giải pháp thực hiện tiêu chí môi trường và các mô hình mẫu về xử lý tổng hợp chất thải rắn trong xây dựng nông thôn mới
- Nghiên cứu sấy xử lý thóc bằng phương pháp gián đoạn và liên tục sử dụng trấu làm nhiên liệu
- Phương trình Parabolic ngược và ứng dụng trong bài toán nguồn ô nhiễm nước ngầm
liên kết website
Lượt truy cập
Lượt truy cập :
17,255,805
- Kết quả thực hiện nhiệm vụ
102.03-2015.25
2020-53-647/KQNC
Khung ngữ nghĩa hình thức cho kết hợp và kiểm chứng mô hình trong phát triển phần mềm
Trường Đại học Công nghệ
Đại học Quốc gia Hà Nội
Quốc gia
PGS.TS. Nguyễn Việt Hà
PGS.TS. Phạm Ngọc Hùng, TS. Đặng Đức Hạnh, TS. Vũ Diệu Hương, TS. Võ Đình Hiếu, ThS. Chu Thị Minh Huệ
Khoa học máy tính và thông tin
01/05/2016
01/05/2020
2020
Hà Nội
201 tr.
Xác định ngữ nghĩa cấu trúc và ngữ nghĩa thực thi cho mỗi DSML trong khung cảnh mô hình tham chiếu khái niệm mô hình hóa hướng khía cạnh (Aspect-Oriented Modeling - AOM). Xây dựng khung ngữ nghĩa tích hợp để kết hợp mô hình và dựa trên khung ngữ nghĩa như vậy, có thể lý giải và kiểm tra tính đúng đắn của hệ thống. Đề xuất một phương pháp hiệu qủa cho kiểm chứng từng phần khung ngữ nghĩa hình thức nhằm giải quyết bài toán bùng nổ không gian trạng thái. Cải tiến phương pháp kiểm chứng giả định, đảm bào bằng cách chú trọng vào ngôn ngữ của các giả định nhằm xây dựng các giả định tối thiếu. Cài đặt bộ công cụ hỗ trợ kết hợp mô hình và kiểm chứng từng phần cho khung ngữ nghĩa hình thức nhằm minh chứng cho tính hiệu quả và khả năng áp dụng của các phương pháp đề xuất.
24 Lý Thường Kiệt, Hà Nội
17547
In ấn
Gửi Email
Facebook
Twitter
Google+