Details
| Original language | English |
|---|---|
| Title of host publication | SAC 2016 |
| Subtitle of host publication | Proceedings of the 31st Annual ACM Symposium on Applied Computing |
| Publisher | Association for Computing Machinery (ACM) |
| Pages | 1546-1549 |
| Number of pages | 4 |
| ISBN (electronic) | 9781450337397 |
| Publication status | Published - 4 Apr 2016 |
| Event | 31st Annual ACM Symposium on Applied Computing, SAC 2016 - Pisa, Italy Duration: 4 Apr 2016 → 8 Apr 2016 |
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.
Keywords
- Consistency checking, Design specification, Natural language processing, Requirements, Software maintenance
ASJC Scopus subject areas
- Computer Science(all)
- Software
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
SAC 2016: Proceedings of the 31st Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM), 2016. p. 1546-1549.
Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review
}
TY - GEN
T1 - Consistency Checks of Design Specifications against Requirements using Graph-Based Linguistic Analysis
AU - Niklas, Kai
AU - Gärtner, Stefan
AU - Schneider, Kurt
PY - 2016/4/4
Y1 - 2016/4/4
N2 - 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.
AB - 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.
KW - Consistency checking
KW - Design specification
KW - Natural language processing
KW - Requirements
KW - Software maintenance
UR - http://www.scopus.com/inward/record.url?scp=84975815219&partnerID=8YFLogxK
U2 - 10.1145/2851613.2851971
DO - 10.1145/2851613.2851971
M3 - Conference contribution
AN - SCOPUS:84975815219
SP - 1546
EP - 1549
BT - SAC 2016
PB - Association for Computing Machinery (ACM)
T2 - 31st Annual ACM Symposium on Applied Computing, SAC 2016
Y2 - 4 April 2016 through 8 April 2016
ER -