Requirements completeness: Absolute or relative? Comments on "System function implementation and behavioral modeling"[Syst Eng 4 (2001), 58‐75]

Ronald S. Carson, Tony Shell · Systems Engineering · 2001

Abstract Shell [Syst Eng 4 (2001), 58–75] raised the issue of requirements “completeness,” concluding that its proof is not possible. This communication is intended to clarify the original intent of the assertion and identify a set of conditions under which completeness may be verified. © 2001 John Wiley & Sons, Inc. Syst Eng 4: 230–231, 2001

Read the paper · More papers on PaperTik