Juliano Cardoso / circusRefine

start.html 1.39 KB
edit raw blame history 
  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
<html>
<head>
    <title>CRefine</title>
    <link rel="stylesheet" type="text/css" href="../../style.css" />

</head>

<body>

<table>
    <tr height="10">
      <td>
      </td>
    </tr>
    <tr>
      <td class="tituloAzul">
        Iniciar Desenvolvimento
      </td>
    </tr>
    <tr>
      <td class="grande" width="500">
      <br>
          <div align="justify"> Para iniciar o refinamento de uma especificação, o usuário deve abrir
          esta especificação no formato .tex na ferramenta. Para isto, selecione "Desenvolvimento -> Novo" no menu
          como mostrado na figura abaixo, ou no botão <img border = "0" src="../../../images/new.gif" align="center">.
          <br>
          <br>
          <img border = "0" src="../images/novo.jpg" align="center">
          <br>
          <br>

          A janela de seleção de arquivo será aberta. Ao selecionar o arquivo e solicitar o seu carregamento na ferramenta, CRefine realiza a
          análise léxica e sintática. Em casos de erros na especificação, uma
          janela exibirá os erros sintáticos encontrados no arquivo de entrada,
          bem como algumas exceções eventualmente disparadas devidos a esses erros. Caso nenhum erro seja encontrado,
          a especificação inicial será apresentada para o usuário no formato LaTeX.

          </div>
      </td>
    </tr>
</table>


</body>

</html>