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...
محفوظ في:
المؤلف الرئيسي: | 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)