-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'master' of github.com:NaoMod/naomod.github.io
- Loading branch information
Showing
7 changed files
with
116 additions
and
58 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -32,30 +32,7 @@ <h2>Nantes Software Modeling Group</h2> | |
{{ content }} | ||
</main> | ||
|
||
<footer style="max-width: 40rem;"> | ||
<div style="display: flex;flex-direction: row;"> | ||
<div style="flex: fit-content;align-content: center;"> | ||
<a href="https://www.ls2n.fr/equipe/naomod/"> | ||
<img class="logo" src="img/logo-ls2n.svg" style="height: 9rem" alt="LS2N logo"> | ||
</a> | ||
</div> | ||
|
||
|
||
<div style="flex: fit-content;align-content: center;"> | ||
<a href="https://www.imt-atlantique.fr/"> | ||
<img class="logo" src="img/logo-imta.svg" alt="IMT Atlantique logo"> | ||
</a> | ||
</div> | ||
<div style="flex: fit-content;align-content: center;"> | ||
<a href="https://www.univ-nantes.fr/"> | ||
<img class="logo" src="img/logo-univnantes.png" alt="Nantes University logo" style="height: 3rem;"> | ||
</a> | ||
</div> | ||
</div> | ||
|
||
|
||
|
||
|
||
<footer style="max-width: 40rem;"> | ||
<p style="margin-top:1cm;"> | ||
</p><p style="color:#ac39a6; font-weight: bolder;">Contact</p> | ||
[email] <a href="mailto:[email protected]">[email protected]</a> | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,36 @@ | ||
--- | ||
layout: default | ||
title: About NaoMod | ||
--- | ||
|
||
</head> | ||
<h2>About NaoMod</h2> <hr/> | ||
<p> | ||
NaoMod, the Nantes Software Modeling Group (formerly known | ||
as AtlanMod), | ||
is a <a href="https://www.ls2n.fr/equipe/naomod/?lang=en">LS2N</a> research team (with members from <a href="https://www.imt-atlantique.fr/fr/l-ecole/departements-d-enseignement-recherche/dapi/recherche">IMT Atlantique</a> and <a href="https://www.univ-nantes.fr/">Nantes Université</a>) resulting from a long-time | ||
research expertise on MDE (Model-Driven Engineering) in the | ||
area of Nantes-France since 1990 (e.g., leading to the creation of the MODELS | ||
and ICMT conference series). | ||
</p> | ||
|
||
<p> | ||
We have been working intensively on improving and promoting the base | ||
techniques, best practices and actual usages of MDE by paying equally | ||
attention to both the academic & industrial problems, and notably | ||
investigating on the benefits that can be brought by a rigorous use of | ||
models in a software engineering context. | ||
</p> | ||
|
||
<p> | ||
From this research effort, an open source model-based toolbox is being | ||
developed and proposed (notably via the worldwide Eclipse Community) | ||
to software engineers & architects with the objective of improving | ||
their productivity as well as increasing the quality of the | ||
applications they design and build. | ||
</p> | ||
|
||
<br/> | ||
<br/> | ||
|
||
<img src="img/team_winterseminar_cropped.jpg" alt="Team seminar at Saint Nazaire", width="75%"> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,41 @@ | ||
--- | ||
layout: default | ||
title: Tools | ||
--- | ||
|
||
<h2 class="section-heading">NaoMod tools</h2> <hr> | ||
<p>NaoMod develops several model engineering tools.</p> | ||
|
||
<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> | ||
|
||
<h4 class="service-heading">Transform</h4> | ||
<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> | ||
|
||
<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> | ||
|
||
<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> | ||
|
||
<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> | ||
|
||
<h2 class="section-heading">Co-maintained tools</h2> <hr> | ||
<p>We take part in the development and maintenance of these external tools.</p> | ||
|
||
<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> | ||
|
||
<h4 class="service-heading">Execute</h4> | ||
<p class="text-muted"> The <a href="https://gemoc.org/studio.html">Eclipse GEMOC Studio</a> provides generic components | ||
through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling | ||
languages.</p> |