A Framework for Requirements Analysis Using Automated Reasoning
作者： David Duffy , Craig MacNish , John McDermid , Philip Morris
DOI: 10.1007/3-540-59498-1_238
关键词:
摘要: The problem of analysing the effects changing requirements imposes strict demands on system representations, particularly in safety-critical domains. We argue that solving this will require structured representations highlight interaction between requirements, and record rationale for decisions made during development process.
springer.com
core.ac.uk
sci-hub.st 参考文章(7)
A. G. Bondarenko, Abductive Systems for Non-Monotonic Reasoning. RCLP. pp. 55- 65 ,(1991)
D. M. Gabbay, Abduction in Labelled Deductive Systems - A Conceptual Abstract european conference on symbolic and quantitative approaches to reasoning and uncertainty. pp. 3- 11 ,(1991) , 10.1007/3-540-54659-6_58
M. S. Dubois, A logic of action for supporting goal-oriented elaborations of requirements international workshop on software specification and design. ,vol. 14, pp. 160- 168 ,(1989) , 10.1145/75199.75225
Gerald Barber, Supporting organizational problem solving with a work station ACM Transactions on Information Systems. ,vol. 1, pp. 45- 67 ,(1983) , 10.1145/357423.357427
Anne Dardenne, Axel van Lamsweerde, Stephen Fickas, Goal-directed requirements acquisition international workshop on software specification and design. ,vol. 20, pp. 3- 50 ,(1993) , 10.1016/0167-6423(93)90021-G
Stephen Pulman, Natural Language Processing for Requirements Specification ,(1993)
J. Mylopoulos, L. Chung, B. Nixon, Representing and using nonfunctional requirements: a process-oriented approach IEEE Transactions on Software Engineering. ,vol. 18, pp. 483- 497 ,(1992) , 10.1109/32.142871