Nhiệm vụ KH&CN

Tìm kiếm Nhiệm vụ KH&CN

Các Đề tài / nhiệm vụ KH&CN

Tổng số: 2 bản ghi / 2 bản ghi

In đầy đủ

In rút gọn

	STT	Nhan đề
	1	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 / *PGS.TS. Nguyễn Việt Hà (Chủ nhiệm),* *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ệ* *- Trường Đại học Công nghệ,* . Báo cáo ứng dụng Từ khóa: Từ khóa: *Phần mềm; Khung ngữ nghĩa hình thức; Khung ngữ nghĩa kiểm chứng; Tích hợp; Cấu trúc; Phát triển*
	2	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 / *PGS.TS. Nguyễn Việt Hà (Chủ nhiệm),* *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ệ* - Nhiệm vụ cấp: Quốc gia. -Mã số: 102.03-2015.25. *- Trường Đại học Công nghệ,* . 01/05/2016 - 01/05/2020. - 2020 - 201 tr.tr Kết quả thực hiện Từ khóa: Từ khóa: *Phần mềm; Khung ngữ nghĩa hình thức; Khung ngữ nghĩa kiểm chứng; Tích hợp; Cấu trúc; Phát triển* Nơi lưu trữ: 24 Lý Thường Kiệt, Hà Nội Ký hiệu kho : 17547