March 2016 archives

(English) Deep Learning Program Analysis: A New Paradigm for Analyzing Computer Programs

Désolé, cet article est seulement disponible en Anglais Américain.

(English) Docker workshop

Désolé, cet article est seulement disponible en Anglais Américain.

Une Approche Formelle de Ingénierie Système Basée sur les Modèles

Iulian Ober Mardi 12 avril à 14h Bâtiment M3, amphi Turing Une Approche Formelle de Ingénierie Système Basée sur les Modèles Résumé : L’ingénierie système connaît actuellement une période de rapide évolution grâce à l’arrivée à maturité de nouvelles méthodes basées sur des modèles et de nouveaux standards comme le langage SysML. Bien que récents, …

Lire la suite