Optimizing Automatic Deployment Using Non-Functional Requirement Annotations (bibtex)
by Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs
Reference:
Optimizing Automatic Deployment Using Non-Functional Requirement AnnotationsStefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin WechsLeveraging Applications of Formal Methods, Verification and Validation (Tiziana Margaria, Bernhard Steffen, eds.), volume 17 of Communications in Computer and Information Science, pages 400-414, October 2008, Springer.
Bibtex Entry:
@inproceedings{kugele:haberl:tautschnig:wechs:isola08,
  author = {Stefan Kugele and Wolfgang Haberl and Michael Tautschnig and Martin Wechs},
  title = {Optimizing Automatic Deployment Using Non-Functional Requirement Annotations},
  month = {October},
  year = {2008},
  address = {Porto Sani, Greece},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
  editor = {Tiziana Margaria and Bernhard Steffen},
  pages = {400--414},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {17},
  isbn = {978-3-540-88478-1}
}
Powered by bibtexbrowser