Home

Domain Specific Languages (DSL)Ingénierie Dirigée par les ModèlesIndustrialisation des modèles, passage à l'échelleModel-Based Software Engineering (MBSE)Génie Logiciel et Intelligence ArtificielleIntelligence Artificielle (IA)  l'énergie, la santé, les transports et la sécurité. science du logiciel bénéfices LMO (Langages et Modèles à Objets)recherches en représentation des connaissances et en programmation,  réduction des coûts des temps de développement et de maintenance,   amélioration de la qualité, dont la vérification. techniques d'apprentissage automatique (machine learning), Génie Logiciel (GL) a interactions entre GL et IA du GLméthodes formelles; spécifications formelles; vérification de programmes; analyses statiques; analyses dynamiques; génération de test; programmation sûre; raffinement; assistants de preuve; preuve automatique; dissémination des méthodes formellesMéthodes formelles (model checking, tests, interprétation abstraite, preuve, solveur SMT), Modèles (Event-B, Matlab/Simulink, Scade,...), Systèmes hybrides, Hardware programmable