Behavior Quote by Nancy Leveson
“Requirement completeness: Requirements are sufficient to distinguish the desired behavior of the software from that of any other undesired program that might be designed. .”
About This Quote
Source Paper: "System Safety and Security" by Nancy Leveson, 2011
A complete set of requirements uniquely defines correct software behavior, preventing unintended implementations.
In simple terms: Clear requirements prevent wrong software.
Key Takeaway
Ensure requirements fully capture intended behavior.
Themes
software engineering
system safety
requirements engineering
Mood
analytical
cautious
Type
technical
prescriptive
When to use this quote
- design reviews
- code audits
- risk analysis
- regulatory compliance
Key Concepts
Specification
uniqueness
behavioral distinction
Questions to Reflect On
- How can we verify completeness in practice?
- What methods detect hidden ambiguities?
A Different Perspective
Complex systems may still exhibit emergent bugs despite precise requirements.
![“What [software] must not do is not the inverse of what it must do. .” quote by Nancy Leveson](https://sms4smile.com/quotes/img-quotes/cf5/nancy-leveson-56176_inverse_what-software-must-not-do-is-not-the-inv_1537245.jpg)
