Groupe

LaMHA

LaMHA : Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications

Compilation

Groupe Compilation : Communauté Française de compilation - COMPIL-FR

MTV2

MTV2 : Méthodes de test pour la validation et la vérification

LTP

LTP : Langages, Types et Preuves

RIMEL

RIMEL - Rétro-Ingénierie, Maintenance et Evolution des Logiciels

FORWAL

FORWAL - Formalismes et Outils pour la Vérification et la Validation

COSMAL

COSMAL : Composants Objets Services : Modèles, Architectures et Langages

IDM

Ingénierie Dirigée par les Modèles (IDM)

 

MFDL

MFDL : Méthodes Formelles dans le Développement Logiciel

Description du groupe de travail AFSEC

AFSEC : Approches Formelles des Systèmes Embarqués Communicants

(Site Web : http://afsec.rts-software.org/ )

Responsables
  • Mehdi Lhommeau
  • Loig Jézéquel
 

Action à vocation inter-GDR STIC

Le contexte est celui de la priorité reconnue au CNRS du développement des recherches sur les systèmes embarqués et communicants.

Pages

S'abonner à RSS - Groupe