The behavior specification of the
design scope may include a list of the expected
states and a list of
event-responses for each of these states.
Beside the formal requirements, the behavior should comply with the
informal expectations of the
stakeholders, and specifically, of the
operators.
Updated on 06 Apr 2016.