Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05)
Pragmatic Consistency Management in Industrial Requirements Specifications
Koblenz, Germany
September 07-September 09
ISBN: 0-7695-2435-4
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.
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