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:
主要作者: | Do, Tuan Anh |
---|---|
其他作者: | Truong, Ninh Thuan |
格式: | Theses and Dissertations |
語言: | English |
出版: |
ĐHCN
2017
|
主題: | |
在線閱讀: | http://repository.vnu.edu.vn/handle/VNU_123/42120 |
標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
機構: | Vietnam National University, Hanoi |
語言: | English |
相似書籍
-
Phân tích, thiết kế phần mềm nhúng
由: Trần, Minh Tuấn
出版: (2016) -
Verification of scenario constraints using java pathfinder
由: Phạm, Quang Thập
出版: (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
由: Nguyễn, Quang Thắng
出版: (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
由: Nguyễn, Văn Quân
出版: (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
由: Triệu, Thị Thu Thủy
出版: (2016)