Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | SAC 2016 |
| Untertitel | Proceedings of the 31st Annual ACM Symposium on Applied Computing |
| Herausgeber (Verlag) | Association for Computing Machinery (ACM) |
| Seiten | 1546-1549 |
| Seitenumfang | 4 |
| ISBN (elektronisch) | 9781450337397 |
| Publikationsstatus | Veröffentlicht - 4 Apr. 2016 |
| Veranstaltung | 31st Annual ACM Symposium on Applied Computing, SAC 2016 - Pisa, Italien Dauer: 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.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Software
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
SAC 2016: Proceedings of the 31st Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM), 2016. S. 1546-1549.
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › 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 -