Sciweavers

142 search results - page 1 / 29
» Pragmatic Consistency Management in Industrial Requirements ...
Sort
View
SEFM
2005
IEEE
13 years 10 months ago
Pragmatic Consistency Management in Industrial Requirements Specifications
Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Joh...
RE
2009
Springer
13 years 9 months ago
Improving the Exchange of Requirements and Specifications between Business Partners
Increasingly complex supplier-relationships dominate product development, independent of industries and products. Mostly the primary source of risks and later problems is insuffic...
Manuel Reis Monteiro, Christof Ebert, Matthias Rec...
RE
2002
Springer
13 years 4 months ago
On the Use of Visualization in Formal Requirements Specification
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
JAR
2000
77views more  JAR 2000»
13 years 4 months ago
Proving Consistency Assertions for Automotive Product Data Management
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
Wolfgang Küchlin, Carsten Sinz
RE
2004
Springer
13 years 10 months ago
Requirements for Requirements Management Tools
Tools for managing systems requirements help keeping specifications consistent, up-to-date and accessible. Since the requirements for complex systems are themselves complex inform...
Matthias Hoffmann, Nikolaus Kühn, Matthias We...