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

Lập trình điều khiển với Raspberry / Võ Minh Huân, Phạm Quang Huy

Tác giả : Võ Minh Huân, Phạm Quang Huy

Nhà xuất bản : Thanh niên

Năm xuất bản : 2017

placeholder+image

Sách, tuyển tập

Elementary programming with C / APTECH

Tác giả : APTECH

placeholder+image

Sách, tuyển tập

Python Algorithms : : Mastering basic algorithms in the python language / Magnus Lei Hetland

Tác giả : Magnus Lei Hetland

Nhà xuất bản : Apress

Năm xuất bản : 2014

placeholder+image

Sách, tuyển tập

Introduction to algorithms / Thomas H. Cormen ... [et al.]

Tác giả : Thomas H. Cormen ... [et al.]

Nhà xuất bản : MIT Press

Năm xuất bản : 2009

placeholder+image

Sách, tuyển tập

Hệ thống thiết lập tự động thân các phương thức cho các lớp trong cơ sở dữ liệu quan hệ hướng đối tượng : : Báo cáo tổng kết đề tài Khoa học và Công nghệ cấp Trường / Phạm Thị Xuân Lộc (Chủ nhiệm đề tài) ; Nguyễn Minh Trang (Thành viên tham gia)

Tác giả : Phạm Thị Xuân Lộc (Chủ nhiệm đề tài) ; Nguyễn Minh Trang (Thành viên tham gia)

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2016