|
Published Articles >> Table of Contents >> Abstract
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
pp. 272-281
Pragmatic Consistency Management in Industrial Requirements Specifications
Jan Scheffczyk, Universitat der Bundeswehr Munchen
Uwe M. Borghoff, Universitat der Bundeswehr Munche
Andreas Birk, sd&m AG
Johannes Siedersleben, sd&m AG
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/SEFM.2005.33
Send link to a friend
| Abstract |
|
Industrial requirements specifications suffer from consistency
problems, particularly in multi-angular or temporal
relationships between different specification results.
Current consistency management tools generate too many
repairs, lack support for temporal relationships, and are
poorly integrated into development processes. In this paper
we evaluate our consistency management method on how it
improves quality of industrial specifications: We formalize
(temporal) consistency rules and generate a few domainspecific
repairs for inconsistencies. We demonstrate our
method using an example specification. Since the effort
for formalization is tunable to specific applications and our
prototype shows satisfactory performance, we are confident
that our contributions scale to an industrial setting.
|
 Additional Information
|
Citation:
Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Johannes Siedersleben,
"Pragmatic Consistency Management in Industrial Requirements Specifications,"
sefm,
pp. 272-281,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05),
2005
|
|
