HỆ THỐNG THÔNG TIN QUỐC GIA VỀ KHOA HỌC, CÔNG NGHỆ VÀ ĐỔI MỚI SÁNG TẠO
Các nhiệm vụ khác
- Nghiên cứu một số giải pháp khoa học và công nghệ để phục hồi và phát triển đàn bò của đồng bào Mông tại tỉnh Bắc Kạn
- Điều tra đánh giá đa dạng sinh học tỉnh Bình Dương nhằm xây dựng giải pháp quản lý và sử dụng hợp lý
- Khảo sát thực trạng xây dựng mô hình cơ sở sản xuất Bún tươi đảm bảo an toàn vệ sinh thực phẩm tại thành phố Châu Đốc năm 2018 – 2019
- Bảo tồn và lưu giữ nguồn gen thực vật nông nghiệp
- Hệ sinh thái rạn san hô miền Nam (Sử dụng hợp lý các hệ sinh thái tiêu biểu ở vùng ven bờ Việt Nam Giai đoạn 1991 - 1995)
- Xây dựng mô hình trồng chè thâm canh bằng giống mới kết hợp với chế độ canh tác cải tiến tại hai huyện Phù Ninh và Thanh Ba tỉnh Phú Thọ
- Chuyển đổi và điều chỉnh sách giáo khoa lớp 1 sang chữ nổi cho học sinh mù
- Xây dựng quy trình sản xuất giống và nuôi thương phẩm cá niên (Onvchostoma gerlachi WKH Peters 1881) trên địa bàn huyện Kon Plông tỉnh KonTum
- Điều tra cơ bản và áp dụng điều trị cai nghiện ma túy bằng phương pháp đông riêu nhân tạo kết hợp với đông y bổ trợ
- Nâng cao hiệu quả kinh tế - xã hội đối với đầu tư nhà nước vào khu vực công cộng ở nông thôn Việt Nam
liên kết website
Lượt truy cập
Lượt truy cập :
31,735,393
- 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(1), 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+