Software Design/Traceability of behavior