A Framework for Requirements Analysis Using Automated Reasoning

Authors:
David A. Duffy;Craig MacNish;John A. McDermid;Philip Morris
Affiliations:
-;-;-;-
Venue:
CAiSe '95 Proceedings of the 7th International Conference on Advanced Information Systems Engineering
Year:
1995

On the Consequences of Acting in the Presence of Inconsistency

IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Towards software requirements extraction using natural language approach

SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
A Metamodeling Approach for Reasoning about Requirements

ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Semantics of trace relations in requirements models for consistency checking and inferencing

Software and Systems Modeling (SoSyM)

Hi-index	0.00