Les équipes du département D4
| Equipes | Résumé | Départements |
|---|---|---|
| ARCHWARE | 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 |
| 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... | D4 - Langage et génie logiciel |
| SUMO | SUMO : SUpervision of large MOdular and distributed systems L'équipe Sumo s'intéresse aux méthodes formelles, et notamment aux systèmes concurrents, pour modéliser, analyser et superviser de grands systèmes répartis (ou modulaires). L'accent est... | D4 - Langage et génie logiciel |
| TEA | TEA : Time, Events and Architectures | D4 - Langage et génie logiciel |