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

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

Si les thématiques du groupe de travail vous intéressent, n'hésitez pas à vous inscrire à sa liste de diffusion : http://contact.univ-angers.fr/sympa/subscribe/afsec

Responsables
  • Mehdi Lhommeau
  • Loïg Jezequel
 

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