Methods for modeling and verifying event-driven systems
Modeling and verication plays an important role in software engineering because it improves the reliability of software systems. Software development technologies introduce a variety of methods or architectural styles. Each system based on a different architecture is often pro-posed with different s...
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Language: | English |
| Published: |
2016
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/13613 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| Language: | English |
| id |
oai:112.137.131.14:VNU_123-13613 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-136132018-07-18T04:13:51Z Methods for modeling and verifying event-driven systems Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện Lê, Hồng Anh Phạm, Bảo Sơn, 1977- Trương, Ninh Thuận, 1977- Mô hình hóa Kiểm chứng Sự kiện Phương pháp Modeling and verication plays an important role in software engineering because it improves the reliability of software systems. Software development technologies introduce a variety of methods or architectural styles. Each system based on a different architecture is often pro-posed with different suitable approaches to verify its correctness. Among these architectures, the field of event-driven architecture is broad in both academia and industry resulting the amount of work on modeling and verication of event-driven systems. 2016-08-23T02:23:17Z 2016-08-23T02:23:17Z 2016 Thesis Lê, H. A. (2016). Methods for modeling and verifying event-driven systems. Master's thesis, Vietnam National University, Hanoi http://repository.vnu.edu.vn/handle/VNU_123/13613 en 155 p. application/pdf |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| language |
English |
| topic |
Mô hình hóa Kiểm chứng Sự kiện Phương pháp |
| spellingShingle |
Mô hình hóa Kiểm chứng Sự kiện Phương pháp Lê, Hồng Anh Methods for modeling and verifying event-driven systems |
| description |
Modeling and verication plays an important role in software engineering because it improves the reliability of software systems. Software development technologies introduce a variety of methods or architectural styles. Each system based on a different architecture is often pro-posed with different suitable approaches to verify its correctness. Among these architectures,
the field of event-driven architecture is broad in both academia and industry resulting the amount of work on modeling and verication of event-driven systems. |
| author2 |
Phạm, Bảo Sơn, 1977- |
| author_facet |
Phạm, Bảo Sơn, 1977- Lê, Hồng Anh |
| format |
Theses and Dissertations |
| author |
Lê, Hồng Anh |
| author_sort |
Lê, Hồng Anh |
| title |
Methods for modeling and verifying event-driven systems |
| title_short |
Methods for modeling and verifying event-driven systems |
| title_full |
Methods for modeling and verifying event-driven systems |
| title_fullStr |
Methods for modeling and verifying event-driven systems |
| title_full_unstemmed |
Methods for modeling and verifying event-driven systems |
| title_sort |
methods for modeling and verifying event-driven systems |
| publishDate |
2016 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/13613 |
| _version_ |
1680963548184838144 |