A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking
2016
Proceedings of the 2016 Federated Conference on Computer Science and Information Systems
Most industrial embedded systems requirements are specified in natural language, hence they can sometimes be ambiguous and error-prone. Moreover, employing an early-stage model-based incremental system development using multiple levels of abstraction, for instance via architectural languages such as EAST-ADL, calls for different granularity requirements specifications described with abstraction-specific concepts that reflect the respective abstraction level effectively. In this paper, we
doi:10.15439/2016f404
dblp:conf/fedcsis/MahmudSL16
fatcat:7pnx4qgdvvcnpmau7vxhoge45i