Assisting requirement formalization by means of natural language translation
Formal Methods in System Design
201 principles of software development
201 principles of software development
Software requirements & specifications: a lexicon of practice, principles and prejudices
Software requirements & specifications: a lexicon of practice, principles and prejudices
ICSE '91 Proceedings of the 13th international conference on Software engineering
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Program design by informal English descriptions
Communications of the ACM
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
Software Engineering Economics
Software Engineering Economics
Lightweight validation of natural language requirements
Software—Practice & Experience
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
A Controlled Language to Assist Conversion of Use Case Descriptions into Concept Lattices
AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
English as a Formal Specification Language
DEXA '02 Proceedings of the 13th International Workshop on Database and Expert Systems Applications
Process Metrics for Requirements Analysis
EWSPT '00 Proceedings of the 7th European Workshop on Software Process Technology
Application of Linguistic Techniques for Use Case Analysis
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
From Natural Language Requirements to good Data Base Definitions - A Data Base Design Methodology
Proceedings of the First International Conference on Data Engineering
Processing natural language requirements
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
Lightweight Validation of Natural Language Requirements: A Case Study
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
The Dangerous 'All' in Specifications
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
The Cico Domain-Based Parser
Requirements Engineering: The State of the Practice
IEEE Software
Building a large annotated corpus of English: the penn treebank
Computational Linguistics - Special issue on using large corpora: II
Natural Language Engineering
Market research for requirements analysis using linguistic tools
Requirements Engineering
User guidance for creating precise and accessible property specifications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Proceedings of the 30th international conference on Software engineering
Requirements model generation to support requirements elicitation: the Secure Tropos experience
Automated Software Engineering
Formalization and validation of a subset of the European Train Control System
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Generating model-based test cases from natural language requirements for space application software
Software Quality Control
Exploring design principles of task elicitation systems for unrestricted natural language documents
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
Using machine learning to enhance automated requirements model transformation
Proceedings of the 34th International Conference on Software Engineering
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
EA-Analyzer: automating conflict detection in a large set of textual aspect-oriented requirements
Automated Software Engineering
Journal of Management Information Systems
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
The state of the art in automated requirements elicitation
Information and Software Technology
Is knowledge power? the role of knowledge in automated requirements elicitation
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Conceptual modeling of natural language functional requirements
Journal of Systems and Software
Hi-index | 0.00 |
This paper presents Circe, an environment for the analysis of natural language requirements. Circe is first presented in terms of its architecture, based on a transformational paradigm. Details are then given for the various transformation steps, including (i) a novel technique for parsing natural language requirements, and (ii) an expert system based on modular agents, embodying intensional knowledge about software systems in general. The result of all the transformations is a set of models for the requirements document, for the system described by the requirements, and for the requirements writing process. These models can be inspected, measured, and validated against a given set of criteria.Some of the features of the environment are shown by means of an example. Various stages of requirements analysis are covered, from initial sketches to pseudo-code and UML models.