Goal-directed concept acquisition in requirements elicitation

IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Volumn , Issue , 1991, Pages 14-21

  Dardenne, Anne ^a   Fickas, Stephen ^b   Van Lamsweerde, Axel ^c  

^a UNIVERSITY OF NAMUR   (Belgium)

^b UNIVERSITY OF OREGON   (United States)

^c UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

MERGERS AND ACQUISITIONS; REQUIREMENTS ENGINEERING;

ACQUISITION STRATEGIES; CONCEPT ACQUISITIONS; ELEVATOR SYSTEMS; GLOBAL MODELING; MODEL ACQUISITION; REQUIREMENTS ANALYSIS; REQUIREMENTS ELICITATION; REQUIREMENTS MODELS;

FORMAL SPECIFICATION;

EID: 45849120096     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iwssd.1991.213081     Document Type: Conference Paper

References (12)

1. Dardenne A., van Lamsweerde A., Towards Concept Acquisition in Requirements Elicitation, Internal report No. 12, KAOS Project, Institut dTnformatique, Facultes Universitaires de Namur, Belgium, 1990.
2. Doerry E., Feather M., Fickas S., Helm R., Deriving Interface Requirements through Composite System Design, TR 90-12, Computer Science Dept., University of Oregon, Eugene, OR 97403, May 1990.
3. Dubisy F., van Lamsweerde h.., Requirements Acquisition by Analogy, Internal report No. 13, KAOS Project, Institut dTnformatique, Facultes Universitaires de Namur, Belgium, 1990.
4. Dubois E., van Lamsweerde A., "Making Specification Processes Explicit", Proceedings 4th Intl. Workshop on Software Specification and Design (Monterey, Ca), IEEE Cat. No TH0181-8, April 1987, pp. 169-177.
5. Ellman T "Explanation-Based Learning: A Survey of Programs and Perspectives", ACM Computing Surveys, Vol. 21, N 2, June 1989, pp. 163-222.
6. Feather M., "Language Support for the Specification and Development of Composite Systems", ACM Transactions on Programming Languages and Systems, Vol. 9, No. 2, April 1987, pp. 198-234.
7. Feather M., Fickas S., Helm R., "When Things Go Wrong: Predicting Failure in Multi-Agent Systems", Niagara Workshop on Intelligent Information Systems, April 91 (also available as TR-91-15, Computer Science Dept., University of Oregon, Eugene, OR 97403).
8. Mostow J., "A Problem Solver for Making Advice Operational", Proceedings AAAI-83, Morgan Kaufman, 1983, pp. 279-283.
9. Nilsson Nils J., Problem-Solving Methods in AI, McGraw Hill, 1971.
10. Robinson W., "Integrating Multiple Specifications Using Domain Goals", Proceedings 5th International Workshop on Software Specification and Design, May 19-20, 1989, pp. 219-226.
11. van Lamsweerde A., Dardenne A. and Dubisy F., KAOS Knowledge Representations as Initial Support for Formal Specification Processes, RP 24/91, Facultes Universitaires de Namur, May 1991.
12. van Lamsweerde A., "Learning Machine Learning", in Introducing a Logic Based Approach to Artificial Intelligence, A. Thayse (Ed.), Vol. 3, Wiley, 1991.