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...
Gorde:
| Egile nagusia: | |
|---|---|
| Formatua: | Artikulua |
| Hizkuntza: | English |
| Argitaratua: |
2018
|
| Gaiak: | |
| Sarrera elektronikoa: | http://thuvien.cit.udn.vn//handle/123456789/192 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
| 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 |
|---|
| Gaia: | 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 decide if the behavior sequences of a system's environment to conform to component’s protocols |
|---|