Software requirements: objects, functions, and states
Software requirements: objects, functions, and states
An experimental study of fault detection in user requirements documents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated analysis of requirement specifications
ICSE '97 Proceedings of the 19th international conference on Software engineering
The SCR method for formally specifying, verifying, and validating requirements: tool support
ICSE '97 Proceedings of the 19th international conference on Software engineering
Practical software requirements: a manual of content and style
Practical software requirements: a manual of content and style
Exploring Requirements: Quality Before Design
Exploring Requirements: Quality Before Design
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Processing Natural Language Software Requirement Specifications
ICRE '96 Proceedings of the 2nd International Conference on Requirements Engineering (ICRE '96)
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
Market research for requirements analysis using linguistic tools
Requirements Engineering
Quality Analysis of NL Requirements: An Industrial Case Study
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Semi-automatic generation of UML models from natural language requirements
Proceedings of the 4th India Software Engineering Conference
Requirement ambiguity not as important as expected: results of an empirical evaluation
REFSQ'13 Proceedings of the 19th international conference on Requirements Engineering: Foundation for Software Quality
Hi-index | 0.00 |
This paper is an extended abstract of an invited talk at the workshop that I put together using material from other talks and from papers that I and colleagues have written. The purposes of this extended abstract are to summarize the talk and to allow the reader to find the source materials for the talk directly.