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}
}