%0 Conference Paper %1 jackson1995 %A Jackson, M. %A Zave, P. %B ICSE '95: Proceedings of the 17th international conference on Software engineering %C New York, NY, USA %D 1995 %I ACM Press %K INFLUENTIAL TOREAD requirements-engineering %P 15--24 %R http://doi.acm.org/10.1145/225014.225016 %T Deriving specifications from requirements: an example %@ 0-89791-708-1

@inproceedings{jackson1995, added-at = {2006-08-08T20:09:01.000+0200}, address = {New York, NY, USA}, author = {Jackson, M. and Zave, P.}, biburl = {https://www.bibsonomy.org/bibtex/21b907fadfc6d08d49734c043ec06bb4d/mstrohm}, booktitle = {ICSE '95: Proceedings of the 17th international conference on Software engineering}, doi = {http://doi.acm.org/10.1145/225014.225016}, interhash = {8d7d216970c91e759c57c7efd109d7bf}, intrahash = {1b907fadfc6d08d49734c043ec06bb4d}, isbn = {0-89791-708-1}, keywords = {INFLUENTIAL TOREAD requirements-engineering}, location = {Seattle, Washington, United States}, pages = {15--24}, publisher = {ACM Press}, timestamp = {2007-06-18T09:57:19.000+0200}, title = {Deriving specifications from requirements: an example}, year = 1995 }