Low-cost pathways towards formal methods use
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
Integrating Legacy Documentation Assets into a Product Line
PFE '01 Revised Papers from the 4th International Workshop on Software Product-Family Engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
EA-Miner: a tool for automating aspect-oriented requirements identification
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
On the Systematic Analysis of Natural Language Requirements with CIRCE
Automated Software Engineering
A tool suite for aspect-oriented requirements engineering
Proceedings of the 2006 international workshop on Early aspects at ICSE
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Fourth international workshop on Software quality assurance: in conjunction with the 6th ESEC/FSE joint meeting
Innovations in Natural Language Document Processing for Requirements Engineering
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
BIS'07 Proceedings of the 10th international conference on Business information systems
EA-Miner: towards automation in aspect-oriented requirements engineering
Transactions on aspect-oriented software development III
Automatic detection of nocuous coordination ambiguities in natural language requirements
Proceedings of the IEEE/ACM international conference on Automated software engineering
Semi-automatic generation of UML models from natural language requirements
Proceedings of the 4th India Software Engineering Conference
Inferring specifications for resources from natural language API documentation
Automated Software Engineering
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
From requirements documents to feature models for aspect oriented product line implementation
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Function point extraction method from goal and scenario based requirements text
NLDB'06 Proceedings of the 11th international conference on Applications of Natural Language to Information Systems
Is knowledge power? the role of knowledge in automated requirements elicitation
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
The importance of requirements, which in practice often means natural language requirements, for a successful software project cannot be underestimated. Although requirement analysis has been traditionally reserved to the experience of professionals, there is no reason not to use various automatic techniques to the same end. In this paper we present Circe, a Web-based environment for aiding in natural language requirements gathering, elicitation, selection, and validation and the tools it integrates. These tools have been used in several experiments both in academic and in industrial environments. Among other features, Circe can extract abstractions from natural language texts, build various models of the system described by the requirements, check the validity of such models, and produce functional metric reports. The environment can be easily extended to enhance its natural language recognition power or to add new models and views on them.