Các nhiệm vụ khác
liên kết website
Lượt truy cập
 Lượt truy cập :  13079543
  • Kết quả thực hiện nhiệm vụ

102.03-2014.40

2019-53-445/KQNC

Phân tích chương trình và ứng dụng trong kiểm chứng 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. Trương Ninh Thuận

TS. Tô Văn Khánh, PGS. TS. Phạm Ngọc Hùng, TS. Võ Đình Hiếu, ThS .Lê Hồng Anh, ThS. Đào Thị Hường

Khoa học máy tính

01/03/2015

01/08/2018

2019

Hà Nội

11 tr. + Phụ lục

Phân tích chương trình để kiểm chứng các tính chất của hệ thống nhúng. Định nghĩa quyền truy cập giữa các lớp trong mô hình hướng đối tượng và phân tích chương trình để kiểm chứng sự phù hợp với sự phân quyền. Mô hình hóa chương trình phần mềm bằng các ngôn ngữ hình thức để kiểm chứng các tính chất của chương trình.

Phần mềm; Kiểm chứng; Kỹ thuật; Phân quyền; Hệ thống nhúng

24 Lý Thường Kiệt, Hà Nội

16005