Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam

Title: Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam
Other Titles: Research and apply VDM ++ for modeling and testing systems at NTT Data IMP Vietnam
Authors: Nguyễn, Xuân Tùng
Keywords: Công nghệ thông tin;Công nghệ phần mềm;Tin học;Kiểm thử hệ thống IMP
Issue Date: 2015
Publisher: Đại học quốc gia Hà nội
Citation: 69 tr.
URI: http://repository.vnu.edu.vn/handle/VNU_123/11817

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Nghiên cứu phân lập và định lượng cryptotanshinon từ cây đan sâm (Salvia miltiorrhiza Bunge.) phục vụ công tác đánh giá chất lượng dược liệu đan sâm Cryptotanshinon;Cây đan sâm (Salvia miltiorrhiza Bunge.);Dược học

Title:  Nghiên cứu phân lập và định lượng cryptotanshinon từ cây đan sâm (Salvia miltiorrhiza Bunge.) phục vụ công tác đánh giá chất lượng dược liệu đan sâm Authors:  Đặng, Thị Ngần Keywords:  Cryptotanshinon;Cây đan sâm (Salvia miltiorrhiza Bunge.);Dược học Issue Date:  2017 Publisher:  H. : ĐHQGHN, Khoa Y - Dược Abstract:  Chiết xuất, phân lập và xác minh cấu trúc cryptotanshinon từ rễ đan sâm thu hái ở Lào Cai, đồng thời xây dựng và thẩm định được phương pháp phân tích cryptotanshinon sử dụng HPLC. Description:  63 tr. URI:  http://repository.vnu.edu.vn/handle/VNU_123/55106
Đọc thêm

Đánh giá tình hình xử lý chất thải tại các trang trại chăn nuôi lợn trên địa bàn huyện Văn Giang, tỉnh Hưng Yên

Title:  Đánh giá tình hình xử lý chất thải tại các trang trại chăn nuôi lợn trên địa bàn huyện Văn Giang, tỉnh Hưng Yên : Luận văn ThS. Khoa học môi trường và bảo vệ môi trường: 60 85 02 Authors:  Hồ, Thị Lam Trà, người hướng dẫn Cao, Trường Sơn Keywords:  Xử lý chất thải;Chăn nuôi;Hưng Yên;Ô nhiễm môi trường;Khoa học môi trường Issue Date:  2012 Publisher:  ĐHKHTN Abstract:  98 tr. + CD-ROM Luận văn ThS. Khoa học môi trường -- Trường Đại học Khoa học Tự nhiên. Đại học Quốc gia Hà Nội, 2012 Tổng quan về tình hình phát triển chăn nuôi; vấn đề môi trường trong chăn nuôi; tình hình quản lý và xử lý chất thải chăn nuôi ở nước ta hiện nay. Phân tích tổng hợp các điều kiện Tự nhiên – Kinh tế - Xã hội trên địa bàn huyện Văn Giang, Hưng Yên. Hiện trạ (...) Electronic Resources URI:  http://repository.vnu.edu.vn/handle/VNU_123/38192
Đọc thêm

Tường minh hóa mục tiêu bài học để tổ chức dạy học chương 1 và 2: Phần Di truyền học Sinh học 12, trung học phổ thông

Title:  Tường minh hóa mục tiêu bài học để tổ chức dạy học chương 1 và 2: Phần Di truyền học Sinh học 12, trung học phổ thông : Luận văn ThS. Giáo dục học: 60 14 10 Authors:  Đinh, Quang Báo , người hướng dẫn Lê, Thị Tuyết Mai Keywords:  Di truyền học;Phương pháp giảng dạy;Sinh học Issue Date:  2013 Publisher:  ĐHGD Abstract:  Luận văn ThS. Lý luận và phương pháp dạy học (Bộ môn Sinh học) -- Trường Đại học Giáo dục. Đại học Quốc gia Hà Nội, 2013 Nghiên cứu cơ sở lý luận và thực tiễn của việc xác đinh mục tiêu bài học; tường minh hoá mục tiêu bài học. Phân tích nội dung phần Di truyền học - Sinh học 12 Trung học phổ thông (THPT). Nghiên cứu quá trình dạy học môn sinh học ở nhà trường THPT. Nghiên c (...) Electronic Resources URI:  http://repository.vnu.edu.vn/handle/VNU_123/47496
Đọc thêm