The code window shows the current status of the code calculated so far. As soon as the user loads a specification to be refined, the initial program is displayed in the code window. As transformation are applied to this program, using the development window, the code window is changed accordingly.