methodes-formelles gl evref

Informatique éternelle : comment faire pour que le code reste fonctionnel pendant des décennies ?

13 février 2026

Tout programme informatique critique doit pouvoir être maintenu dans le temps, adapté aux changements de notre monde. Comment faire quand des langages entiers ne sont plus maintenus, ou que le matériel qui les fait tourner change d’architecture ou devient obsolète ? Quand le développeur qui a écrit les bases du programme part en retraite ou chez un concurrent ? Un début de réponse à ce défi est en train d’âtre conçu par le projet EVREF, un partenariat entre l’Inria et l’entreprise Berger-Levrault.

Article INCYBER NEWS

En savoir plus...

Plus d'actualités