loading
Luận án, luận văn

Methods for modeling and verifying event-driven systems: Doctor of Philosophy in Information technology/ Lê Hồng Anh

Tác giả : Lê Hồng Anh

Năm xuất bản : 2015

Nơi xuất bản : H.

Mô tả vật lý : X, 145 p.: fig., tab.; 30 cm 2 resume

Số phân loại : 005.14

Chủ đề : 1. 17. 2. Kĩ thuật phần phầm. 3. Kiểm chứng. 4. Mô hình hoá. 5. 7. 6. 7. 7. Hệ thống hướng sự kiện.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Giới thiệu phương pháp mô hình hoá và kiểm chứng các hệ thống cơ sở dữ liệu. Nghiên cứu sử dụng Event-B để mô hình hoá các hệ thống hướng sự kiện đặc trưng như các hệ thống trigger cơ sở dữ liệu, các hệ thống cảm ngữ cảnh. Đề xuất các phương pháp mô hình hoá và kiểm chứng sự kiện mô tả bằng các luật If-Then mờ...
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA15.0631.2, LA15.0631.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-594981.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Cẩm nang thông tin thị trường và định hướng phát triển xuất khẩu mặt hàng gạo và các sản phẩm chế biến từ gạo của Việt Nam sang thị trường khu vực EU/ B.s.: Đào Thị Thanh Xuân, Phạm Thị Lâm Phương, Nguyễn Thị Huyền..

Tác giả : B.s.: Đào Thị Thanh Xuân, Phạm Thị Lâm Phương, Nguyễn Thị Huyền..

Nhà xuất bản : Công Thương

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Lập trình hướng đối tượng với Java/ Lê Hồng Anh (ch.b.), Nông Thị Oanh, Nguyễn Duy Huy..

Tác giả : Lê Hồng Anh (ch.b.), Nông Thị Oanh, Nguyễn Duy Huy..

Nhà xuất bản : Khoa học và Kỹ thuật

Năm xuất bản : 2022

placeholder+image

Sách, tuyển tập

Giáo trình Dữ liệu lớn và ứng dựng/ Lê Hồng Anh

Tác giả : Lê Hồng Anh

Nhà xuất bản : Khoa học và Kỹ thuật

Năm xuất bản : 2021

placeholder+image

Sách, tuyển tập

Giáo trình Lập trình hướng đối tượng với Java/ Lê Hồng Anh (ch.b.), Nông Thị Oanh, Nguyễn Duy Huy..

Tác giả : Lê Hồng Anh (ch.b.), Nông Thị Oanh, Nguyễn Duy Huy..

Nhà xuất bản : Khoa học và Kỹ thuật

Năm xuất bản : 2021

placeholder+image

Luận án, luận văn

Nghiên cứu khả năng nghe hiểu của trẻ cấy điện cực ốc tai sau huấn luyện: LATS Y học: 62.72.01.55/ Lê Hồng Anh

Tác giả : Lê Hồng Anh

Năm xuất bản : 2021

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Sách, tuyển tập

Programming for newbies : dành cho người mới học lập trình C++ / Đỗ Thị Hồng Ngát

Tác giả : Đỗ Thị Hồng Ngát

Nhà xuất bản : Thông tin và Truyền thông

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Bài tập lập trình với ngôn ngữ Python : từ cơ bản đến nâng cao . T.2 / Trần Thông Quế

Tác giả : Trần Thông Quế

Nhà xuất bản : Thông tin và Truyền Thông

Năm xuất bản : 2024

placeholder+image

Sách, tuyển tập

Lập trình Python hỗ trợ học sinh THPT giải bài tập tin học / Trần Thông Quế

Tác giả : Trần Thông Quế

Nhà xuất bản : Thông tin và Truyền Thông

Năm xuất bản : 2025

placeholder+image

Sách, tuyển tập

Chuyên tin 11: Các chuyên đề chọn lọc với ngôn ngữ C++ : lý thuyết, bài tập và lời giải / Nguyễn Xuân Huy

Tác giả : Nguyễn Xuân Huy

Nhà xuất bản : Thông tin và truyền thông

Năm xuất bản : 2025

placeholder+image

Sách, tuyển tập

Bài tập ngôn ngữ lập trình Pascal / Dương Viết Thắng (ch.b.) [và nh.ng.khác]

Tác giả : Dương Viết Thắng (ch.b.) [và nh.ng.khác]

Nhà xuất bản : Đại học Quốc gia Hà Nội

Năm xuất bản : 2004