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
Appears in Collections:Luận văn - Luận án (LIC)

Nhận xét

Đăng nhận xét

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

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

Nghiên cứu giao thức OAuth và ứng dụng trong xác thực

Link bài viết:  http://repository.vnu.edu.vn/handle/VNU_123/8095 Giới thiệu về đề tài luận văn, ý nghĩa và tính khả thi của đề tài. Chương 1. Tổng quan về xác thực: Trình bày khái niệm, phương thức và giao thức xác thực. Chương 2. Giao thức xác thực OAuth và OpenID: Trình bày khái niệm và cách thức hoạt động của các giao thức OAuth và OpenID. Chương 3. Xây dựng ứng dụng kết nối Facebook thông qua giao thức OAuth: Trình bày các vấn đề liên quan đến việc cài đặt và triển khai ứng dụng. Kết quả đạt được khi chạy thử. Trình bày tóm tắt các kết quả đạt được. Hướng mở rộng, phát triển hệ thống.
Đọc thêm

Thành lập bản đồ hiện trạng các thành phần của hệ sinh thái thuộc huyện Kim Bôi, tỉnh Hòa Bình phục vụ cho công tác phát triển bền vững

Title:  Thành lập bản đồ hiện trạng các thành phần của hệ sinh thái thuộc huyện Kim Bôi, tỉnh Hòa Bình phục vụ cho công tác phát triển bền vững : Đề tài NCKH. QT-04-14 Authors:  Đoàn, Hương Mai Keywords:  Bản đồ sinh thái;Hoà Bình;Kim Bôi;Phát triển bền vững;Sinh thái học Issue Date:  2004 Publisher:  H. : ĐHQGHN Abstract:  Giới thiệu phương pháp nghiên cứu, kết quả nghiên cứu về điều kiện tự nhiên, tài nguyên: Vị trí địa lý, địa hình, khí hậu thời tiết, tài nguyên nước, tài nguyên đất, thảm thực vật và động vật, tài nguyên nhân văn và cảnh quan môi trường. Đi sâu nghiên cứu hiện trạng các hệ sinh thái thuộc huyện Kim Bôi: Các hệ sinh thái trên cạn, hệ sinh thái nước ngọt. Từ đó thành lập bản đồ hiện trạng các thành phần của hệ sinh thái thuộc huyện Kim Bôi, tỉnh Hòa Bình phục vụ cho công tác phát triển bền vững. Description:  36 tr. URI:  http://repository.vnu.edu.vn/handle/VNU_123/19153 Appears in Collections: Đề tài cấp ĐHQGHN và Quốc ...
Đọc thêm