Checking timing constraints in software system using AOP
In this thesis we propose an approach to dynamic checking a property of real-time software systems, the timing constraints. Checking timing constraints is difficult for some software systems. We can not hook into the system, especially with large systems. From benefit of AOP, we propose an approach...
Saved in:
Main Author: | Do, Tuan Anh |
---|---|
Other Authors: | Truong, Ninh Thuan |
Format: | Theses and Dissertations |
Language: | English |
Published: |
ĐHCN
2017
|
Subjects: | |
Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/42120 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Vietnam National University, Hanoi |
Language: | English |
Similar Items
-
Phân tích, thiết kế phần mềm nhúng
by: Trần, Minh Tuấn
Published: (2016) -
Verification of scenario constraints using java pathfinder
by: Phạm, Quang Thập
Published: (2017) -
Nghiên cứu xây dựng và ứng dụng công cụ tạo bài giảng Rich Media theo chuẩn E-Learning
by: Nguyễn, Quang Thắng
Published: (2016) -
Phương pháp tính toán khoảng giải các ràng buộc không tuyến tính
by: Nguyễn, Văn Quân
Published: (2017) -
Nghiên cứu giải pháp an toàn thông tin cho hệ thống tính toán lưới
by: Triệu, Thị Thu Thủy
Published: (2016)