upadte wwebsite with new tools

Author: TheoLeCalvar

index.html

@@ -80,30 +80,38 @@ <h3 class="section-subheading text-muted">The Atlanmod platform proposes a rich
           </div>
         </div>
         <div class="row text-center">
-          <div class="col-md-4">
+          <div class="col-md">
             <span class="fa-stack fa-4x">
               <i class="fa fa-circle fa-stack-2x text-primary"></i>
-              <i class="fa fa-upload fa-stack-1x fa-inverse"></i>
+              <i class="fa fa-graduation-cap fa-stack-1x fa-inverse"></i>
             </span>
-            <h4 class="service-heading">Reverse</h4>
-            <p class="text-muted">The <a href="https://www.eclipse.org/MoDisco/">MoDisco</a>  tool provides an extensible framework to develop model-driven tools for existing software modernization.</p>
+            <h4 class="service-heading">Prove</h4>
+            <p class="text-muted">The <a href="https://github.com/atlanmod/coqtl/">CoqTL</a>  tool provides a Coq based framework to express and write proofs on model transformations.</p>
           </div>
-          <div class="col-md-4">
+          <div class="col-md">
             <span class="fa-stack fa-4x">
               <i class="fa fa-circle fa-stack-2x text-primary"></i>
               <i class="fa fa-laptop fa-stack-1x fa-inverse"></i>
             </span>
             <h4 class="service-heading">Transform</h4>
-            <p class="text-muted"> The <a href="http://www.eclipse.org/atl/">ATL</a> model transformation language provides ways to produce a set of target models from a set of source models.</p>
+            <p class="text-muted"> <a href="https://git.kher.nl/aof/atol/">ATLc & ATOL</a> are two alternative <a href="http://www.eclipse.org/atl/">ATL</a> transformations engines that supports incremental and constraint solving.</p>
           </div>
-          <div class="col-md-4">
+          <div class="col-md">
             <span class="fa-stack fa-4x">
               <i class="fa fa-circle fa-stack-2x text-primary"></i>
               <i class="fa fa-download fa-stack-1x fa-inverse"></i>
             </span>
             <h4 class="service-heading">Store</h4>
             <p class="text-muted"> <a href="http://neoemf.atlanmod.org">NeoEMF</a> is a model persistence solution designed to store models in several kind of NoSQL datastores. It is fully compatible with EMF, making it easy to integrate into modeling applications.</p>
           </div>
+          <div class="col-md">
+            <span class="fa-stack fa-4x">
+              <i class="fa fa-circle fa-stack-2x text-primary"></i>
+              <i class="fa fa-sitemap fa-stack-1x fa-inverse"></i>
+            </span>
+            <h4 class="service-heading">View</h4>
+            <p class="text-muted"> <a href="https://www.atlanmod.org/emfviews/">EMFViews</a>  is an Eclipse plugin that brings the concept of database views to the modeling world.</p>
+          </div>
           <!--
           <div class="col-md-4">
             <span class="fa-stack fa-4x">
@@ -118,6 +126,45 @@ <h4 class="service-heading">Verify</h4>
       </div>
     </section>
 
+    <section id="historic_tools">
+      <div class="container">
+        <div class="row">
+          <div class="col-lg-12 text-center">
+            <h2 class="section-heading">Historic tools</h2>
+            <h3 class="section-subheading text-muted">We contributed to these projects but no longer actively maintain them.</h3>
+          </div>
+        </div>
+        <div class="row text-center">
+          <div class="col-md">
+            <span class="fa-stack fa-4x">
+              <i class="fa fa-circle fa-stack-2x text-primary"></i>
+              <i class="fa fa-upload fa-stack-1x fa-inverse"></i>
+            </span>
+            <h4 class="service-heading">Reverse</h4>
+            <p class="text-muted">The <a href="https://www.eclipse.org/MoDisco/">MoDisco</a>  tool provides an extensible framework to develop model-driven tools for existing software modernization.</p>
+          </div>
+          <div class="col-md">
+            <span class="fa-stack fa-4x">
+              <i class="fa fa-circle fa-stack-2x text-primary"></i>
+              <i class="fa fa-laptop fa-stack-1x fa-inverse"></i>
+            </span>
+            <h4 class="service-heading">Transform</h4>
+            <p class="text-muted"> The <a href="http://www.eclipse.org/atl/">ATL</a> model transformation language provides ways to produce a set of target models from a set of source models.</p>
+          </div>
+          <!--
+          <div class="col-md">
+            <span class="fa-stack fa-4x">
+              <i class="fa fa-circle fa-stack-2x text-primary"></i>
+              <i class="fa fa-check-circle fa-stack-1x fa-inverse"></i>
+            </span>
+            <h4 class="service-heading">Verify</h4>
+            <p class="text-muted">Lorem ipsum dolor sit amet, consectetur adipisicing elit. Minima maxime quam architecto quo inventore harum ex magni, dicta impedit.</p>
+          </div>
+        -->
+        </div>
+      </div>
+    </section>
+
     <!-- Portfolio Grid -->
     <!--
     <section class="bg-light" id="portfolio">
@@ -437,12 +484,12 @@ <h3 class="section-subheading text-muted">NaoMod Research Group (<a href="https:
               <p class="text-muted">Contact Information</p>
                 <p class="large text-muted">
                 NaoMod Research Group</br>
-                <a href="mailto:atlanmod-contact@mines-nantes.fr" class="external text" title="mailto:atlanmod-contact@mines-nantes.fr" rel="nofollow">atlanmod-contact@mines-nantes.fr</a><br/>
+                <a href="mailto:naomod-per@univ-nantes.fr" class="external text" title="mailto:naomod-per@univ-nantes.fr" rel="nofollow">naomod-per@univ-nantes.fr</a><br/>
                 IMT Atlantique<br/>
                 Computer science department<br/>
                 4 rue Alfred Kastler<br/>
                 44307 Nantes, France<br/>
-                <a href="http://web.emn.fr/x-info/atlanmod/index.php">Website</a>
+                <a href="https://naomod.github.io/">Website</a>
                </p>
             </div>
         </div>
@@ -490,7 +537,7 @@ <h3 class="section-subheading text-muted">NaoMod Research Group (<a href="https:
       <div class="container">
         <div class="row">
           <div class="col-md-4">
-            <span class="copyright">Copyright &copy; NaoMod Research Group 2018</span>
+            <span class="copyright">Copyright &copy; NaoMod Research Group 2024</span>
           </div>
           <div class="col-md-4">
             <ul class="list-inline social-buttons">