Portal de Periódicos da CAPES

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

2001; Wiley; Volume: 4; Issue: 3 Linguagem: Inglês

10.1002/sys.1019

1520-6858

Ronald S. Carson, Tony Shell,

Software Engineering Techniques and Practices

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