A formal approach to adaptive software: continuous assurance of non-functional requirements

✍ Scribed by Antonio Filieri; Carlo Ghezzi; Giordano Tamburrelli

• Publisher: Springer
• Year: 2011
• Tongue: English
• Weight: 724 KB
• Volume: 24
• Category: Article
• ISSN: 0934-5043
• DOI: 10.1007/s00165-011-0207-2