Développement de logiciels critiques
Introduction au Développement de logiciels critiques A l’issue de la présentation technique de Jean-Pierre ROSEN, expert en langage Ada, les enseignements de base pour développer un logiciel critique ont été tirés : Qu’est-ce qu’un logiciel critique ? Un logiciel est qualifié de « critique » si une panne peut avoir des conséquences Lire la suite…