Skip to main content

Optimizing Automatic Deployment Using Non−Functional Requirement Annotations

Stefan Kugele‚ Wolfgang Haberl‚ Michael Tautschnig and Martin Wechs

Address
Porto Sani‚ Greece
Book Title
Leveraging Applications of Formal Methods‚ Verification and Validation
Editor
Tiziana Margaria and Bernhard Steffen
ISBN
978−3−540−88478−1
Month
October
Pages
400–414
Publisher
Springer
Series
Communications in Computer and Information Science
Volume
17
Year
2008