Navigating the Requirements Jungle

Langer, Boris; Tautschnig, Michael

by Boris Langer, Michael Tautschnig

Reference:

Navigating the Requirements JungleBoris Langer, Michael TautschnigLeveraging Applications of Formal Methods, Verification and Validation (Tiziana Margaria, Bernhard Steffen, eds.), volume 17 of Communications in Computer and Information Science, pages 354-368, October 2008, Springer.

Bibtex Entry:

@inproceedings{langer:tautschnig:isola08,
  author = {Boris Langer and Michael Tautschnig},
  title = {Navigating the Requirements Jungle},
  month = {October},
  year = {2008},
  address = {Porto Sani, Greece},
  booktitle = {Leveraging Applications of Formal Methods, Verification and Validation},
  editor = {Tiziana Margaria and Bernhard Steffen},
  pages = {354--368},
  publisher = {Springer},
  series = {Communications in Computer and Information Science},
  volume = {17},
  isbn = {978-3-540-88478-1}
}