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

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