Formal refinement patterns for goal-driven requirements elaboration
R. Darimont, and A. v. van Lamsweerde. SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering, 21, page 179--190. New York, NY, USA, ACM Press, (November 1996)
DOI: 10.1145/239098.239131
%0 Conference Paper
%1 citeulike:221356
%A Darimont, Robert
%A v. van Lamsweerde, Axel
%B SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
%C New York, NY, USA
%D 1996
%I ACM Press
%K goalmodeling re read
%N 6
%P 179--190
%R 10.1145/239098.239131
%T Formal refinement patterns for goal-driven requirements elaboration
%U http://portal.acm.org/citation.cfm?id=239131
%V 21
@inproceedings{citeulike:221356,
added-at = {2007-06-22T20:46:40.000+0200},
address = {New York, NY, USA},
author = {Darimont, Robert and v. van Lamsweerde, Axel},
biburl = {https://www.bibsonomy.org/bibtex/255566f26963df993ccade87208eabe96/jenhork},
booktitle = {SIGSOFT '96: Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering},
citeulike-article-id = {221356},
description = {Citeulike 06/22/07},
doi = {10.1145/239098.239131},
interhash = {5e387814707419cd9a1a14e9b2427830},
intrahash = {55566f26963df993ccade87208eabe96},
issn = {0163-5948},
keywords = {goalmodeling re read},
month = {November},
number = 6,
pages = {179--190},
priority = {3},
publisher = {ACM Press},
timestamp = {2007-06-22T20:46:40.000+0200},
title = {Formal refinement patterns for goal-driven requirements elaboration},
url = {http://portal.acm.org/citation.cfm?id=239131},
volume = 21,
year = 1996
}