CGoGN est un ensemble de bibliothèques logicielles open source dédiées à la modélisation géométrique 3D et à la visualisation scientifique. Il propose des outils pour manipuler des maillages, des surfaces et des volumes, ainsi qu'une interface intégrée (SCHNApps) permettant de créer des applications personnalisées via un système de plugins. Destiné aux chercheurs, développeurs et industriels, il facilite la conception d'outils dédiés à l'analyse et à la simulation dans des domaines comme la géométrie algorithmique ou la visualisation de données complexes.

Ce projet est un logiciel de simulation numérique dédié à l'étude des processus d'exclusion en deux dimensions. Il modélise le comportement de particules actives sur un réseau, où chaque particule peut se déplacer aléatoirement vers un site voisin vide. L'objectif est d'analyser les propriétés statistiques et dynamiques de ces systèmes, notamment leur absorption, leur densité et leur activité, afin de contribuer à la recherche en physique statistique et en science des matériaux.

Outil dédié à la modélisation et à la conception d'applications logicielles. Permet aux développeurs et architectes de définir des architectures complexes, de valider des modèles et de générer des structures logiques cohérentes pour des systèmes informatiques.

KMADe est un outil d'analyse et de modélisation des activités humaines dédié à la conception et à l'évaluation ergonomique des systèmes interactifs. Il permet de décrire, d'analyser et de formaliser les activités des utilisateurs dans des environnements (informatisés ou non), en situation réelle ou simulée. KMADe est basé sur un modèle formel qui facilite la description, l'examen et l'analyse des tâches, limite les variations interindividuelles, augmente le niveau de complétion des descriptions, autorise des traitements ultérieurs, et facilite les passages entre les modèles de terrain et les étapes du cycle de vie des logiciels.

Projet académique dédié à l'analyse statique de code Java et à la modélisation de systèmes de fichiers. Il permet de vérifier la conformité des noms de classes, méthodes et attributs aux conventions de nommage, d'évaluer la qualité du code et de générer des rapports structurés sur les structures logicielles. Utilisé dans un cadre pédagogique pour enseigner les bonnes pratiques de développement et la modélisation UML.

Plateforme dédiée à la conception, la simulation et la programmation de robots via un langage dédié. Permet aux utilisateurs de modéliser des systèmes robotiques, d'écrire des programmes pour contrôler des robots virtuels, et d'analyser les performances des composants logiciels et matériels. Utilisé principalement dans un contexte éducatif ou de recherche pour l'apprentissage de la robotique et de l'ingénierie logicielle.

Ce projet est une infrastructure logicielle basée sur des technologies de modélisation et de développement orienté modèle. Il permet de concevoir, structurer et générer des composants logiciels à partir de modèles définis, facilitant ainsi la maintenance et l'évolution des systèmes.

Ce projet est une infrastructure logicielle basée sur des technologies de modélisation et de développement orienté modèle. Il permet de concevoir, structurer et générer des composants logiciels à partir de modèles définis, facilitant ainsi la maintenance et l'évolution des systèmes.

Outil dédié à la génération automatique de code à partir de modèles de machines à états finis. Il permet aux développeurs de concevoir des systèmes logiciels complexes en définissant des états, transitions et événements, puis en produisant le code source correspondant. Idéal pour les applications nécessitant une modélisation comportementale précise, comme les interfaces utilisateur ou les systèmes embarqués.

Outil de modélisation dédié à la conception et à l'analyse d'architectures logicielles. Permet de définir des composants, connecteurs, services et configurations pour structurer des systèmes complexes. Facilite la visualisation et la gestion des interactions entre éléments logiciels avant leur implémentation.