Goal-Directed Requirements Acquisition

by: Anne Dardenne, Axel van Lamsweerde, Stephen Fickas

Science of Computer Programming, Vol. 20, No. 1-2. (1993), pp. 3-50.

View FullText article

CiteSeer (at Penn State), CiteSeer (at MIT), CiteSeer (at Zurich), CiteSeer (at Singapore)

Reviews [Write a review of this article]

There are no reviews of this article

Find related articles from these CiteULike users

yijunyu, sdehousse, grossd, IMRU (group)

Find related articles with these CiteULike tags

goal-oriented, goals, models, re, requirements

Abstract

Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. The paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements...

@article{citeulike:852357, abstract = {Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. The paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements...}, author = {Dardenne, Anne and van Lamsweerde, Axel and Fickas, Stephen }, citeulike-article-id = {852357}, journal = {Science of Computer Programming}, keywords = {goals, models, requirements}, number = {1-2}, pages = {3--50}, posted-at = {2006-09-21 01:50:50}, priority = {0}, title = {Goal-Directed Requirements Acquisition}, url = {http://citeseer.ist.psu.edu/dardenne93goaldirected.html}, volume = {20}, year = {1993} }

RIS record

TY - JOUR ID - citeulike:852357 L3 - citeulike-article-id:852357 TI - Goal-Directed Requirements Acquisition JF - Science of Computer Programming VL - 20 IS - 1-2 SP - 3 EP - 50 N2 - Requirements analysis includes a preliminary acquisition step where a global model for the specification of the system and its environment is elaborated. This model, called requirements model, involves concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc. The paper presents an approach to requirements acquisition which is driven by such higher-level concepts. Requirements... KW - goals KW - models KW - requirements AU - Dardenne, Anne AU - van Lamsweerde, Axel AU - Fickas, Stephen PY - 1993/// UR - http://citeseer.ist.psu.edu/dardenne93goaldirected.html ER -

RIS BibTeX