Modeling and verification of functional and non functional requirements of ambient, self adaptative systems
The overall contribution of this thesis is to propose an integrated approach for modeling and verifying the requirements of Self Adaptive Systems using Model Driven Engineering techniques. Model Driven Engineering is primarily concerned with reducing the gap between problem and software implementati...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Université Toulouse le Mirail - Toulouse II
2013
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00965934 http://tel.archives-ouvertes.fr/docs/00/96/59/34/PDF/Ahmad_Manzoor.pdf |