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
CELTIQUE L'objectif global du projet Celtique est d'améliorer la sécurité et la fiabilité des logiciels grâce à des techniques de modélisation, d'analyse et de certification basées sur la sémantique. 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
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 : Tim, Events and Architectures D4 - Langage et génie logiciel