201
IRUS TotalDownloads
Altmetric
A formal approach to adaptive software: continuous assurance of non-functional requirements
| File | Description | Size | Format | |
|---|---|---|---|---|
 2012-fac.pdf | Accepted version | 3.13 MB | Adobe PDF | View/Open |
| Title: | A formal approach to adaptive software: continuous assurance of non-functional requirements |
| Authors: | Filieri, A Ghezzi, C Tamburrelli, G |
| Item Type: | Journal Article |
| Issue Date: | 3-Nov-2011 |
| Date of Acceptance: | 3-Nov-2011 |
| URI: | http://hdl.handle.net/10044/1/33724 |
| DOI: | http://dx.doi.org/10.1007/s00165-011-0207-2 |
| ISSN: | 0934-5043 |
| Publisher: | Springer Verlag |
| Start Page: | 163 |
| End Page: | 186 |
| Journal / Book Title: | Formal Aspects of Computing |
| Volume: | 24 |
| Issue: | 2 |
| Copyright Statement: | © Springer Verlag 2011. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-011-0207-2 |
| Keywords: | Computation Theory & Mathematics 0802 Computation Theory And Mathematics 0803 Computer Software |
| Publication Status: | Published |
| Appears in Collections: | Computing Faculty of Engineering |