Tag Archives: satisfaction argument

Satisfaction Arguments

“Given properties of domain D, combined with the specification of the behaviour of new system S, requirement R on new system holds” (Neil Maiden’s lecture notes) Requirement R – pedestrian shall cross the road safely System S – when buttons … Continue reading

Posted in Requirements Definition 2 | Tagged , , , | Leave a comment