Object-oriented modeling and design
Object-oriented modeling and design
Software aspects of strategic defense systems
Communications of the ACM
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Automated analysis of requirement specifications
ICSE '97 Proceedings of the 19th international conference on Software engineering
Documentation for safety critical software
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Building natural language generation systems
Building natural language generation systems
Requirements engineering: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Extending requirement specifications using analogy
Proceedings of the 22nd international conference on Software engineering
The use of object-oriented models in requirements engineering: a field study
ICIS '99 Proceedings of the 20th international conference on Information Systems
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
Software Inspections: An Effective Verification Process
IEEE Software
Change Impact Identification in Object Oriented Software Maintenance
ICSM '94 Proceedings of the International Conference on Software Maintenance
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
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).
Application of Linguistic Techniques for Use Case Analysis
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Preprocessing of Requirements Specification
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
A change impact model for changeability assessment in object-oriented software systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
CM-Builder: An Automated NL-Based CASE Tool
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
SEW '01 Proceedings of the 26th Annual NASA Goddard Software Engineering Workshop
Supporting Impact Analysis and Change Propagation in Software Engineering Environments
STEP '97 Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP '97) (including CASE '97)
Software Requirements
Higher Quality Requirements Specifications through Natural Language Patterns
SWSTE '03 Proceedings of the IEEE International Conference on Software-Science, Technology & Engineering
Market research for requirements analysis using linguistic tools
Requirements Engineering
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
ConceptNet — A Practical Commonsense Reasoning Tool-Kit
BT Technology Journal
Facilitating the Construction of Specification Pattern-based Properties
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Overcoming the Traceability Benefit Problem
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
UMLDiff: an algorithm for object-oriented design differencing
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
Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Using Domain Ontology as Domain Knowledge for Requirements Elicitation
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Identifying Nocuous Ambiguities in Natural Language Requirements
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
On Goal-based Variability Acquisition and Analysis
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Thematic Role Based Generation of UML Models from Real World Requirements
ICSC '07 Proceedings of the International Conference on Semantic Computing
Generating Natural Language specifications from UML class diagrams
Requirements Engineering
Customizing grgen.net for model transformation
Proceedings of the third international workshop on Graph and model transformations
Conceptual Model Generation from Requirements Model: A Natural Language Processing Approach
NLDB '08 Proceedings of the 13th international conference on Natural Language and Information Systems: Applications of Natural Language to Information Systems
Extracting and Modeling Product Line Functional Requirements
RE '08 Proceedings of the 2008 16th IEEE International Requirements Engineering Conference
Static UML Model Generator from Analysis of Requirements (SUGAR)
ASEA '08 Proceedings of the 2008 Advanced Software Engineering and Its Applications
ACM SIGSOFT Software Engineering Notes
Design and code inspections to reduce errors in program development
IBM Systems Journal
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Extracting conceptual graphs from Japanese documents for software requirements modeling
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
Semantic enriching of natural language texts with automatic thematic role annotation
NLDB'10 Proceedings of the Natural language processing and information systems, and 15th international conference on Applications of natural language to information systems
Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements
RE '10 Proceedings of the 2010 18th IEEE International Requirements Engineering Conference
Hi-index | 0.00 |
Software engineering is supposed to be a structured process, but manual tasks leave much leeway. Ideally, these tasks lie in the hands of skilled analysts and software engineers. This includes creating the textual specification of the envisioned system as well as creating models for the software engineers. Usually, there is quite a bit of erosion during the process due to requirement changes, implementation decisions, etc. To deliver the software as specified, textual requirements, models, and the actual software need to be synchronized. However, in practice, the cost of manually maintaining consistency is too high. Our requirements engineering feedback system automates the process of keeping textual specification and models consistent when the models change. To improve overall processing of natural language specifications, our approach finds flaws in natural language specifications. In addition to the already published workshop paper, we show how well our tools support even non-software-engineers in improving texts. The case studies show that we can speed up the process of creation texts with fewer flaws significantly.