Les équipes du département D4
Equipes | Résumé | Départements |
---|---|---|
ARCHWARE / SECREIZH | Le principal domaine de recherche de l'équipe ArchWare concerne l'architecture logicielle. Elle fournit l'abstraction nécessaire pour concevoir, développer et faire évoluer rigoureusement des systèmes à forte composante logicielle. | D4 - Langage et génie logiciel |
DEVINE | DEVINE : Dependable distributed systems: Verification made efficient L'objectif global de l'équipe du projet Devine est de contribuer à la conception de systèmes distribués fiables qui intègrent des aspects quantitatifs tels que le temps, le coût ou... | D4 - Langage et génie logiciel |
DIVERSE | Le sujet d'étude de l’équipe DiverSE est le logiciel : comment le concevoir, comment le maintenir, comment le valider ? | D4 - Langage et génie logiciel |
EPICURE | EPICURE Les annonces fréquentes d'une énième brèche dans la cybersécurité montrent que la sécurité des logiciels qui nous entourent est, plus que jamais, un défi scientifique de la plus haute importance sociétale. Ces logiciels sont produits pour... | D4 - Langage et génie logiciel |
HYCOMES | HYCOMES, Modélisation hybride et conception par contrats pour les systèmes embarqués multi-physiques Notre vision est que les outils de modélisation des systèmes hybrides méritent en théorie des efforts similaires à ceux des langages synchrones... | D4 - Langage et génie logiciel |
LOGICA | LogicA : LOgic, Games, Information, Coordination, and Applications Aujourd'hui, nombre de nos activités quotidiennes qui étaient autrefois réalisées dans le monde "réel" et en interaction avec d'autres humains, sont réalisées dans un monde numérique... | D4 - Langage et génie logiciel |