Rattachée au Laboratoire des Sciences du Numérique de Nantes, LS2N, cette équipe participe à l’ambition du laboratoire de structurer la recherche numérique en Pays de la Loire.

Elle mobilise des compétences scientifiques de haut niveau pour répondre aux défis scientifiques actuels en synergie avec des partenaires académiques et industriels.

Site web de l'équipe
Logo pôle SLS Science du Logiciel et des Systèmes Distribués – SLS

Exploiter la puissance des sciences du logiciel et des systèmes distribués pour une informatique durable, sûre et ouverte.

Composante(s) d’expertise associée(s) à l’équipe
#Environnement enfoui ou (hautement) distribué#Génie de la programmation, du logiciel et des systèmes#Maîtrise énergétique des logiciels et des systèmes (GreenIT)
Matériels
Thème IEdF
Pôle SLS
Environnement enfoui ou (hautement) distribué Génie de la programmation, du logiciel et des systèmes Maîtrise énergétique des logiciels et des systèmes (GreenIT) #Méthodes Formelles #Langages de programmation #Génie logiciel
ANRAAPGPRC
Équipe(s) :  
  • STACK

FOR-COALA

FORmalisation of COnfigurAtion LAnguages
09/2024 – 48 mois

Formaliser les langages de configuration pour fiabiliser le déploiement des systèmes distribués