Optimizing Automatic Deployment Using Non−Functional Requirement Annotations
Stefan Kugele‚ Wolfgang Haberl‚ Michael Tautschnig and Martin Wechs
Details
| 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 |
Links
Related pages
|
People |