Rodin Handbook





 

2.8 Expanding the Traffic Light System:
Contexts and Refinement

\includegraphics[width=7mm]{img/tick_64.png}

Goals: We apply what we learned in the previous section by introducing a context with traffic light colours and a refinement to integrate them. We will also introduce another refinement for the push buttons.