Goal-directed requirements acquisition

This publication has 23 references indexed in Scilit:

• A model for composite system design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Goal-directed concept acquisition in requirements elicitation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• TRIO: A logic language for executable specifications of real-time systems
  Journal of Systems and Software, 1990
• Explanation-based learning: a survey of programs and perspectives
  ACM Computing Surveys, 1989
• Computational approaches to analogical reasoning
  Artificial Intelligence, 1989
• Constructing specifications by combining parallel elaborations
  IEEE Transactions on Software Engineering, 1989
• Critiquing software specifications
  IEEE Software, 1988
• Language support for the specification and development of composite systems
  ACM Transactions on Programming Languages and Systems, 1987
• The INFOLOG linear tense propositional logic of events and transactions
  Information Systems, 1986
• The entity-relationship model—toward a unified view of data
  ACM Transactions on Database Systems, 1976