|
2 | 2 | <html lang="en-us"> |
3 | 3 | <head> |
4 | 4 | <meta charset="UTF-8"> |
5 | | - <title>ARIIS - Analyser and Refiner for Incomplete Information Systems</title> |
| 5 | + <title>ARIIS - Analyser and Reviser for Incomplete Information Systems</title> |
6 | 6 | <meta name="viewport" content="width=device-width, initial-scale=1"> |
7 | 7 | <link rel="stylesheet" type="text/css" href="../stylesheets/normalize.css" media="screen"> |
8 | 8 | <link href='http://fonts.googleapis.com/css?family=Open+Sans:400,700' rel='stylesheet' type='text/css'> |
|
11 | 11 | </head> |
12 | 12 | <body> |
13 | 13 | <section class="page-header"> |
14 | | - <h1 class="project-name">ARIIS - Analyser and Refiner for Incomplete Information Systems</h1> |
| 14 | + <h1 class="project-name">ARIIS - Analyser and Reviser for Incomplete Information Systems</h1> |
15 | 15 | <h2 class="project-tagline"></h2> |
16 | 16 | </section> |
17 | 17 |
|
18 | 18 | <section class="main-content"> |
19 | 19 | <h3> |
20 | | -<a id="ariis---analyser-and-refiner-for-incomplete-information-systems" class="anchor" href="#ariis---analyser-and-refiner-for-incomplete-information-systems" aria-hidden="true"><span class="octicon octicon-link"></span></a>ARIIS - Analyser and Refiner for Incomplete Information Systems</h3> |
| 20 | + ARIIS - Analyser and Reviser for Incomplete Information Systems |
| 21 | + </h3> |
21 | 22 |
|
22 | 23 | <p>The purpose of this project is aid the software designer alongside the main phases of modelling and development. ARIIS allows that the designer models the software behaviour with incomplete information and verifies if the system model holds some desired specification. If the model does not hold the property, then ARIIS will aid the designer suggesting and correction the model until one, which holds the specification.</p> |
23 | 24 |
|
24 | 25 | <p><strong>To download the source-code and compile go to terminal and type:</strong></p> |
25 | 26 |
|
26 | | -<pre><code>$ git clone https://github.com/JandsonRibeiro/ariis.git |
| 27 | +<pre><code>$ git clone https://github.com/ARIIS/ariis |
27 | 28 | $ cd ariis |
28 | 29 | $ make |
29 | 30 | $ ./ariis input |
|
35 | 36 | <li><a href="../ariis">Download here</a></li> |
36 | 37 | </ul> |
37 | 38 |
|
| 39 | +<p>See also the <a href"#">Documentation</a>.</p> |
38 | 40 | <footer class="site-footer"> |
39 | | - <span class="site-footer-credits"><a href="https://github.com/Marinofull/RefinamentoDeModelosKMTS">ARIIS - Analyser and Refiner for Incomplete Information Systems</a> is maintained by <a href="https://github.com/JandsonRibeiro">JandsonRibeiro</a>, <a href="https://github.com/Marinofull">Marinofull</a> and <a href="https://github.com/migueldias">migueldias</a>.</span> |
| 41 | + <span class="site-footer-credits"><a href="https://github.com/Marinofull/RefinamentoDeModelosKMTS">ARIIS - Analyser and Reviser for Incomplete Information Systems</a> is maintained by <a href="https://github.com/JandsonRibeiro">JandsonRibeiro</a>, <a href="https://github.com/Marinofull">Marinofull</a> and <a href="https://github.com/migueldias">migueldias</a>.</span> |
40 | 42 |
|
41 | 43 | <span class="site-footer-credits">Researchers: <a href="http://lattes.cnpq.br/0612005197639506">Aline Andrade</a>, <a href="http://homes.dcc.ufba.br/~jandsonsan/">Jandson Ribeiro</a>, <a href="http://lattes.cnpq.br/9330156581172023">Miguei Dias</a> and <a href="http://homes.dcc.ufba.br/~marino/">Marino Souza</a></span> |
42 | 44 |
|
|
0 commit comments