CRefine

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.