Goal-directed requirements acquisition

Science of Computer Programming

Volumn 20, Issue 1-2, 1993, Pages 3-50

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

^a UNIVERSITY OF NAMUR   (Belgium)

^b UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

^c UNIVERSITY OF OREGON   (United States)

Author keywords

conceptual modeling; domain analysis; meta level inference; nonfunctional requirements; Requirements engineering; specification acquisition; specification reuse

Indexed keywords

ENGINEERING; MATHEMATICAL MODELS; TIME DOMAIN ANALYSIS;

GOAL-DIRECTED REQUIREMENTS ACQUISITION; META-LEVEL INTERFACE; NONFUNCTIONAL REQUIREMENTS; REQUIREMENTS ENGINEERING; SPECIFICATION REUSE;

COMPUTER PROGRAMMING;

EID: 0027574423     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/0167-6423(93)90021-G     Document Type: Article

References (51)

1. An introduction to ASL
2. Operational specification as the basis for specification validation
3. A knowledge-based system for acquiring the conceptual structure of a diagnostic expert system
4. The entity-relationship model---toward a unified view of data
5. Goal-directed concept acquisition in requirements elicitation
6. Teiresias: applications of meta-level knowledge
7. A model for composite system design
8. Requirements acquisition by analogy
9. Making specification processes explicit
10. A formal language for the requirements engineering of computer systems
11. Explanation-based learning: a survey of programs and perspectives
12. Language support for the specification and development of composite systems
13. Constructing specifications by combining parallel elaboration
14. The INFOLOG linear tense propositional logic of events and transactions
15. Critiquing software specifications
16. First version of a model for the requirements development process
17. Multi-party specification
18. Building formal specifications using structured common sense
19. Towards structured algebraic specifications
20. TRIO: a logic language for executable specifications of real-time systems
21. Requirements modelling: a knowledge representation approach to software requirements definition
22. A requirements modeling language and its logic
23. Report on the LARCH shared language
24. Computational approaches to analogical reasoning: a comparative analysis
25. Specifying and verifying requirements of real-time systems
26. Statecharts: a visual formalism for complex systems
27. Semantic database modeling: survey, applications, and research issues
28. Metal: a formalism to specify formalism
29. Specifying software quality requirements with metrics
30. Real-time programming and asynchronous message passing
31. On formalism in specifications
32. Representing and using nonfunctional requirements: a process-oriented approach
33. A problem solver for making advice operational
34. The requirements apprentice: automated assistance for requirements acquisition
35. Integrating multiple specifications using domain goals
36. Negotiation behavior during requirement specification
37. A taxonomy of current issues in requirements engineering
38. XPLAIN: a system for creating and explaining expert consulting programs
39. Learning machine learning
40. The KAOS project: knowledge acquisition in automated specification of software
41. KAOS knowledge representations as initial support for formal specification processes
42. Generic lifecycle support in the ALMA environment
43. Achieving several goals simultaneously
44. A study of 12 specifications of the library problem
45. An Operational Approach to Requirements Specification for Embedded Systems