SWE.3.BP4 Evaluate software detailed design
SWE.3.O.3 The dynamic behavior of the software units is defined