An Analysis-Revision Cycle to Evolve Requirements Specifications

Authors:
A. S. d'Avila Garcez;A. Russo;B. Nuseibeh;J. Kramer
Affiliations:
-;-;-;-
Venue:
Proceedings of the 16th IEEE international conference on Automated software engineering
Year:
2001

Citing 7
Cited 7

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Requirements engineering in the year 00: a research perspective

Proceedings of the 22nd international conference on Software engineering
On the relation between abduction and inductive learning

Handbook of defeasible reasoning and uncertainty management systems
Symbolic knowledge extraction from trained neural networks: a sound approach

Artificial Intelligence
Neural Networks: A Comprehensive Foundation

Neural Networks: A Comprehensive Foundation
Machine Learning

Machine Learning
The Connectionist Inductive Learning and Logic Programming System

Applied Intelligence

Eliciting requirements and scenarios using the SCTL-MUS methodology: the shuttle system case study

SCESM '05 Proceedings of the fourth international workshop on Scenarios and state machines: models, algorithms and tools
Formal support for merging and negotiation

Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Formal specification applied to multiuser distributed services: experiences in collaborative t-learning

Journal of Systems and Software
Integrating model verification and self-adaptation

Proceedings of the IEEE/ACM international conference on Automated software engineering
Learning to adapt requirements specifications of evolving systems (NIER track)

Proceedings of the 33rd International Conference on Software Engineering
Tracing integration analysis in component-based formal specifications

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Managing software requirements changes based on negotiation-style revision

Journal of Computer Science and Technology - Special issue on Community Analysis and Information Recommendation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We argue that the evolution of requirements specifications can be supported by a cycle composed oftwo phases: analysis and revision. In this paper,we investigate an instance of such a cycle, whichcombines two techniques of logical abduction andinductive learning to analyze and revise specifications respectively.