A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems

A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems

This paper proposes a technique for specifying and analyzing the quality of functional and non-functional features in real-time systems. These works include a proposal of timed-resource protocols to model and analyze the interactions among methods and components, and a presentation of algorithms to...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Nguyen, Trinh Dong
Định dạng: Bài viết
Ngôn ngữ:English
Được phát hành: 2018
Những chủ đề:
Timed - resource protocol
Timed-resource design
Real-time contracts
Real-time systems
Embedded systems
Truy cập trực tuyến:http://thuvien.cit.udn.vn//handle/123456789/192
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng

Những quyển sách tương tự

Những quyển sách tương tự