Précédent : Domaines d'applications Remonter : Domaines d'applications Suivant : Maintenance et manipulation de programmes
Précédent : Domaines d'applications Remonter :
Domaines
d'applications Suivant : Maintenance et manipulation de
programmes
Mots clés : télécommunications, transports, santé .
Les outils et techniques développés dans le projet sont déjà appliqués industriellement dans un outil pour maintenir du code FORTRAN. Nos compétences sur la sémantique, les preuves et la construction d'environnements interactifs intéressent l'ensemble des domaines industriels où la présence d'erreurs même minimes dans les programmes peut avoir des conséquences graves : danger pour la vie humaine comme dans les transports (avions, automobiles), la chirurgie assistée par ordinateur, ou simplement coût prohibitif comme dans le cas du commerce électronique et des réseaux de télécommunication, ou du spatial.