CRefine

Codigo

A janela Código exibe o estado atual do código gerado que está sendo desenvolvido. Desta forma, assim que o usuário entrar com a especificação inicial de um programa a ser refinado, o programa que será exibido na janela código, será a própria especificação inicial. À medida que as leis de refinamento vão sendo aplicadas, o código coletado de todo o programa será exibido na janela Código. Outra forma de se modificar a janela Código é a Adição de Parágrafo ao Programa.