HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Các nhiệm vụ khác
- Tổng kết điều tra cơ bản các điều kiện tự nhiên và tài nguyên môi trường: Tập 6: Các thông số điều kiện kỹ thuật địa phương phục vụ quy hoạch luận chứng tiền khả thi và thiết kế ban đầu xây dựng cơ sở hạ tầng tỉnh Bà Rịa - Vũng Tàu
- Nghiên cứu đề xuất giải pháp quản lý sử dụng đất nông nghiệp thích ứng với biến đổi khí hậu phục vụ mục tiêu tái cơ cấu nông nghiệp vùng Bắc Trung Bộ
- Đánh giá tình hình tàn tật và đề xuất biện pháp phục hồi chức năng cho bệnh nhân phong ở tỉnh Sơn La
- Phương pháp đào tạo các chức danh tư pháp
- Phân tích chương trình và ứng dụng trong kiểm chứng phần mềm
- Hoàn thiện công tác xây dựng kế hoạch chi tiết trong cuộc kiểm toán dự án đầu tư và xây dựng
- Xây dựng mô hình sản xuất rong nho (Caulerpa lentillifera KAgardh 1837) cho các vùng nông thôn ven biển tại thị xã sông Cầu tỉnh Phú Yên
- Nghiên cứu xây dựng quy trình lập dàn mẫu quốc gia và hoàn thiện phương pháp biên soạn chỉ số giá sản xuất công nghiệp và dịch vụ theo năm gốc 2020 ở Việt Nam
- Sử dụng năng lượng tiết kiệm và hiệu quả tren địa bàn tỉnh Hải Dương giai đoạn 2009-2013
- Nghiên cứu chọn giống kỹ thuật trồng và khai thác mủ Trôm (Sterculia foetida L) ở vùng khô hạn Nam Trung Bộ
liên kết website
Lượt truy cập
Lượt truy cập :
25,127,704
- 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+