Consistency checks of design specifications against requirements using graph-based linguistic analysis (bibtex)
by Niklas, Kai, Gärtner, Stefan and Schneider, Kurt
Abstract:
\textcopyright 2016 ACM. 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.
Reference:
Consistency checks of design specifications against requirements using graph-based linguistic analysis (Niklas, Kai, Gärtner, Stefan and Schneider, Kurt), In Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16, ACM, 2016.
Bibtex Entry:
@inproceedings{Niklas2016,
abstract = {{\textcopyright} 2016 ACM. 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.},
author = {Niklas, Kai and G{\"{a}}rtner, Stefan and Schneider, Kurt},
booktitle = {Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16},
doi = {10.1145/2851613.2851971},
isbn = {9781450337397},
keywords = {secvolution},
mendeley-tags = {secvolution},
pages = {1546--1549},
publisher = {ACM},
series = {SAC 2016},
title = {{Consistency checks of design specifications against requirements using graph-based linguistic analysis}},
url = {http://dl.acm.org/citation.cfm?doid=2851613.2851971},
year = {2016}
}
Powered by bibtexbrowser