Goal-directed requirements acquisition
- 30 April 1993
- journal article
- Published by Elsevier BV in Science of Computer Programming
- Vol. 20 (1-2), 3-50
- https://doi.org/10.1016/0167-6423(93)90021-g
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- A model for composite system designPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Goal-directed concept acquisition in requirements elicitationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- TRIO: A logic language for executable specifications of real-time systemsJournal of Systems and Software, 1990
- Explanation-based learning: a survey of programs and perspectivesACM Computing Surveys, 1989
- Computational approaches to analogical reasoning: A comparative analysisArtificial Intelligence, 1989
- Constructing specifications by combining parallel elaborationsIEEE Transactions on Software Engineering, 1989
- Critiquing software specificationsIEEE Software, 1988
- Language support for the specification and development of composite systemsACM Transactions on Programming Languages and Systems, 1987
- The INFOLOG linear tense propositional logic of events and transactionsInformation Systems, 1986
- The entity-relationship model—toward a unified view of dataACM Transactions on Database Systems, 1976