Agent-based tactics for goal-oriented requirements elaboration

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2002, Pages 83-93

  Letier, Emmanuel ^a   Van Lamsweerde, Axel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; PROGRAM DIAGNOSTICS; SOFTWARE AGENTS; SOFTWARE ENGINEERING;

GOAL ORIENTATION; SOFTWARE COMPONENTS;

REQUIREMENTS ENGINEERING;

EID: 0036041441     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/581352.581353     Document Type: Conference Paper

References (31)

1. Realizable and unrealizable specifications of reactive systems
2. The use of goals to surface requirements for evolving systems
3. Software requirements negotiation and renegotiation aids: A theory-W based spiral approach
4. Goal-directed requirements acquisition
5. Formal refinement patterns for goal-driven requirements elaboration
6. Language support for the specification and development of composite systems
7. Knowledge representation and reasoning in the design of composite systems
8. A design process based on a model combining scenarios with goals and functions
9. CONIC: An integrated approach to distributed computer control systems
10. Managing conflicts in goal-driven requirements engineering
11. Handling obstacles in goal-oriented requirements engineering
12. Formal specification: A roadmap
13. Requirements engineering in the year 00: A research perspective
14. Goal-oriented requirements engineering: A guided tour
15. Representing and using nonfunctional requirements: A process-oriented approach
16. Functional documents for computer systems
17. Integrating multiple specifications using domain goals
18. Object behavior analysis
19. Structured design
20. What does it mean to say that a specification is complete?
21. Four dark corners of requirements engineering