Category Archives: Requirements Definition 2

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

User and System Requirments

It is important to distinguish user requirements from system requirements. User requirements come from the user and other stakeholders –  properties of the domain independent of the new system, what the users expect from the new system. System requirements come from the … Continue reading

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