Utilizaţi acest identificator pentru a cita sau a face link la acest document:
https://dspace.upt.ro/xmlui/handle/123456789/487
Titlu: | Inference of safe approximate models for system composition |
Autori: | Holotescu, Casandra |
Subiecte: | Ingineria programării Modele Componente software Teză de doctorat |
Data publicării: | 2013 |
Editura: | Timişoara: Editura Politehnica |
Citare: | Holotescu, Casandra. Inference of safe approximate models for system composition. Timişoara: Editura Politehnica, 2013 |
Serie/Nr. raport: | 14 Calculatoare și Tehnologia Informației;15 |
Abstract: | The scope of this thesis is in the field of software engineering and formal methods. A core issue in component-based software engineering is how to rigorously build a system from off-the-shelf software components. This is done by automatic component adaptation and composition, which need behavioural models of all components. We have developed an approximate model inference technique for black box asynchronous software components. In contrast to existingtechniquesthatassumeonlycontrollablebehaviour, ourmethodaddressesthe challenges raised by uncontrollable events, which cannot be enabled or disabled at will. The models inferred are safe with respect to black box controllability, i.e. they can be reliably used to control the real components. |
URI: | http://localhost:8080/xmlui/handle/123456789/487 |
ISBN: | 9786065546646 |
Colecţia: | Teze de doctorat/Phd theses |
Fişierele documentului:
Fişier | Descriere | Mărime | Format | |
---|---|---|---|---|
BUPT_TD_Holotescu Casandra.pdf | 10.13 MB | Adobe PDF | Vizualizare/Deschidere |
Documentele din DSpace sunt protejate de legea dreptului de autor, cu toate drepturile rezervate, mai puţin cele indicate în mod explicit.