Juliano Cardoso / circusRefine

Blame view

circus/help/development/start.html 1.39 KB
edit raw normal view history
8d0dc533f   Madiel de Souza Conserva Filho   first 
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
47
48
 
  <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>