Kai Niklas, Stefan Gärtner, Kurt Schneider:
»Consistency Checks of Design Specifications against Requirements using Graph-Based Linguistic Analysis«

For the development of complex systems it is important to ensure that design specifications and requirements are consistent. Unfortunately, requirements are often written in natural language and are weakly structured which hinders automatic processing. Manual steps or formal specifications are necessary which are time consuming, error prone and often not suitable for complex systems. We present a graph-based, linguistic method to check the consistency of design specifications against requirements automatically. Our approach is able to propose recommendations to resolve inconsistencies. We evaluated our approach in an industrial setting which demonstrated the practical applicability and usefulness.