Adicionar Parágrafo
Durante um refinamento extenso, poderá haver mudanças que necessitem a introdução de um novo parágrafo na especificação. CRefine permite ao usuário inserir novos parágrafos em qualquer etapa do Refinamento. Para isso, deve-se clicar com o botão direito na janela de Desenvolvimento e selecionar à seguinte opção: "Adicionar->Parágrafo". Após a seleção do opção uma pequena janela será exibida para que o usuário digite o parágrafo a ser inserido no refinamento. Depois do usuário ter passado o novo parágrafo, as janelas de Desenvolvimento e Código são atualizadas. Na janela de desenvolvimento, uma indicação que houve inserção de parágrafo é mostrada e logo em seguida, o novo parágrafo é exibido. O novo parágrafo também será exibido na janela de Código.