Software development process from natural language specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
Program design by informal English descriptions
Communications of the ACM
Conceptual modeling through linguistic analysis using LIDA
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
PROPEL: an approach supporting property elucidation
Proceedings of the 24th International Conference on Software Engineering
AbstFinder, A Prototype Natural Language Text Abstraction Finder for Use in Requirements Elicitation
Automated Software Engineering
The Stream Boiler Case Study: Competition of Formal Program Specification and Development Methods
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
Market research for requirements analysis using linguistic tools
Requirements Engineering
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Shallow Knowledge as an Aid to Deep Understanding in Early Phase Requirements Engineering
IEEE Transactions on Software Engineering
Identifying Nocuous Ambiguities in Natural Language Requirements
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Parsing the WSJ using CCG and log-linear models
ACL '04 Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics
Semantic parameterization: A process for modeling domain descriptions
ACM Transactions on Software Engineering and Methodology (TOSEM)
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Translation of Textual Specifications to Automata by Means of Discourse Context Modeling
REFSQ '09 Proceedings of the 15th International Working Conference on Requirements Engineering: Foundation for Software Quality
Automatic analysis of multimodal requirements: a research preview
REFSQ'12 Proceedings of the 18th international conference on Requirements Engineering: foundation for software quality
| Hi-index | 0.00 |
Natural language is the main presentation means in industrial requirements documents. In addition, communication between the different stakeholders is often insufficient, therefore requirements documents are frequently incomplete and inconsistent. This causes problems during modeling or programming. The aim of the presented paper is to make deficiencies in behavior specifications apparent in the early project stage. The basic idea is to model the required system behavior and to generate feedback for human analysts, based on the deficiencies of the resulting models. The presented feedback generation was evaluated in an experiment. It was found that it can address genuine problems of requirements documents.