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

Larry Page & Sergey Brin - Cha đẻ của công cụ tìm kiếm lớn nhất hành tinh / BizBooks biên soạn

Tác giả : BizBooks biên soạn

Nhà xuất bản : Hồng Đức

Năm xuất bản : 2025

placeholder+image

Sách, tuyển tập

Kỹ thuật lập trình C++ / Đặng Quế Vinh

Tác giả : Đặng Quế Vinh

Nhà xuất bản : KHKT

Năm xuất bản : 2003

placeholder+image

Sách, tuyển tập

Những bài thực hành cơ sở dữ liệu Visual Basic 6.0 căn bản / Đinh Xuân Lâm

Tác giả : Đinh Xuân Lâm

Nhà xuất bản : Thống kê

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Phương pháp số (Thuật toán và chương trình bằng turbo pascal) : Dùng cho sinh viên và cán bộ các ngành khoa học kỹ thuật / Trần Văn Minh

Tác giả : Trần Văn Minh

Nhà xuất bản : Giao thông vận tải

Năm xuất bản : 2000

placeholder+image

Sách, tuyển tập

Software Reuse / Jag Sodhi and Prince Sodhi

Tác giả : Jag Sodhi and Prince Sodhi

Nhà xuất bản : McGraw-Hill

Năm xuất bản : 1999