LogiMICS

LOGIMICS: approche Logique pour la Modélisation et l’Analyse des Systèmes et des données

Le pôle de recherche en informatique LogiMICSs a été formellement créé au 01/10/2012 à partir de trois équipes « historiques » du laboratoire MAS : la chaire de recherche en Business intelligence, les équipes InForSys et MASDOM. Il est constitué de M. Aiguier, P. Ballarini, C. Hudelot, P. Le Gall, de plusieurs ingénieurs de recherche, post-doctorants et doctorants, pour un total d’une douzaine de personnes. Le théme général du pôle LogiMICS concerne la définition de méthodes et d’outils informatiques fondés sur une modélisation rigoureuse du domaine ciblé à base de formalismes tels que la logique, les graphes, la théorie des catégories ou les automates. Deux thématiques principales se dégagent :
– la gestion, modélisation et visualisation des données,
– et l’emploi des méthodes formelles pour modéliser, analyser, tester, vérifier, valider les systèmes.

Pour les réalisations passées en Business Intelligence, suivre le lien vers les activités de Business Intelligence .

 

Groupe de travail MTV²

Méthode de Test pour la Vérification et la Validation

Les commentaires sont clos.