loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Jan Scheffczyk, Universitat der Bundeswehr Munchen
Uwe M. Borghoff, Universitat der Bundeswehr Munche
Andreas Birk, sd&m AG
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
Usage of this product signifies your acceptance of the Terms of Use.