Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B
Nghiên cứu các luật chuyển đổi giữa hệ thống cơ sở dữ liệu (CSDL) triggers và mô hình Event-B. Xây dựng công cụ hỗ trợ mô hình hoá bán tự động hệ thống triggers từ pha thiết kế. Các thành phần Event-B của hệ thống triggers được lưu dưới dạng XML, có thể sử dụng cho quá trình kiểm chứng tính đúng đắn...
Saved in:
| Main Author: | |
|---|---|
| Format: | Theses and Dissertations |
| Language: | other |
| Published: |
Đại học Quốc gia Hà Nội
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/8212 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | other |
| id |
oai:112.137.131.14:VNU_123-8212 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-82122016-04-13T20:00:48Z Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B Nông, Thị Oanh Hệ thống thông tin Mô hình hóa hệ thống Cơ sở dữ liệu Nghiên cứu các luật chuyển đổi giữa hệ thống cơ sở dữ liệu (CSDL) triggers và mô hình Event-B. Xây dựng công cụ hỗ trợ mô hình hoá bán tự động hệ thống triggers từ pha thiết kế. Các thành phần Event-B của hệ thống triggers được lưu dưới dạng XML, có thể sử dụng cho quá trình kiểm chứng tính đúng đắn của mô hình trên nền tảng Rodin.. 2016-04-13T04:36:23Z 2016-04-13T04:36:23Z 2013 Thesis 3 tr. http://repository.vnu.edu.vn/handle/VNU_123/8212 other application/pdf Đại học Quốc gia Hà Nội |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
other |
| topic |
Hệ thống thông tin Mô hình hóa hệ thống Cơ sở dữ liệu |
| spellingShingle |
Hệ thống thông tin Mô hình hóa hệ thống Cơ sở dữ liệu Nông, Thị Oanh Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B |
| description |
Nghiên cứu các luật chuyển đổi giữa hệ thống cơ sở dữ liệu (CSDL) triggers và mô hình Event-B. Xây dựng công cụ hỗ trợ mô hình hoá bán tự động hệ thống triggers từ pha thiết kế. Các thành phần Event-B của hệ thống triggers được lưu dưới dạng XML, có thể sử dụng cho quá trình kiểm chứng tính đúng đắn của mô hình trên nền tảng Rodin.. |
| format |
Theses and Dissertations |
| author |
Nông, Thị Oanh |
| author_facet |
Nông, Thị Oanh |
| author_sort |
Nông, Thị Oanh |
| title |
Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B |
| title_short |
Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B |
| title_full |
Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B |
| title_fullStr |
Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B |
| title_full_unstemmed |
Nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống Triggers bằng Event - B |
| title_sort |
nghiên cứu và xây dựng công cụ hỗ trợ mô hình hóa hệ thống triggers bằng event - b |
| publisher |
Đại học Quốc gia Hà Nội |
| publishDate |
2016 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/8212 |
| _version_ |
1680967268915216384 |