author = {Kai Niklas and Stefan Gärtner and Kurt Schneider},
  title = {Consistency Checks of Design Specifications against Requirements
	using Graph-Based Linguistic Analysis},
  booktitle = {Proceedings of the 31th Annual ACM Symposium on Applied Computing
	(SAC 2016)},
  year = {2016},
  series = {SAC 2016},
  publisher = {ACM},
  abstract = {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.},
  location = {Pisa, Italy},
  numpages = {4}