edit

Software

Erca

MDE platform to handle concept lattices. It can compute concept lattices from binary contexts as well as from relational context families. Here is a small example of concept lattice computed with Erca that presents the researchers of the D'OC team described by their research theme:

Gumm

Gumm is a tool that allows matchings to be found between nodes from two oriented labelled graphs. Dedicated plugins covert several kinds of resources used in Software Engineering (class diagram, component models, ...) into graphs that be used as input for Gumm.

An example of use of Gumm

PRM

Un langage à objet statiquement typé novateur (classes + modules + héritage multiple) doté d’un compilateur efficace.

Géomatique, Espace, Territoires et Mobilité

SCL (Simple Component Language)

SCL est un interpréteur de langages de composants.

ReSyn-Assistant

ResSyn-Assistant est un prototype de système d'aide à la compréhension des problèmes de synthèse en chimie organique. Il permet de créer, catégoriser, manipuler et stocker des représentations d'objets chimiques.

Algorithmes de sous-hiérarchies de Galois dans GALICIA

Galicia est une plateforme de manipulation de treillis, pour laquelle l'équipe D'OC est à l'origine des algorithmes de construction et de manipulation de sous-hiérarchies de Galois.

MDWeb

Modèle sémantique pour l’aide à la localisation.