Sites Inria

Il y a 2 Résultats avec le mot clé : "Développement de logiciels"

Spoonware

Start-up Makitoo

Makitoo (ex-Spoonware), une trousse de secours contre les bugs informatiques

Sébastien Dacher-Citizen Press - 1/09/2015

Le bug , une faille qui vient perturber, voire paralyser un système informatique, est le cauchemar des informaticiens. Afin de proposer des applications propres et plus robustes, l'ingénieur Nicolas Petitprez a fait de la traque des bugs une obsession.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > Start-up > Nicolas Petitprez, Makitoo

Lire la suite

LabCom

LabCom ProofInUse : AdaCore & l'équipe-projet Toccata

A.B. (*) -

En 2014, Inria et la société AdaCore ont lancé un laboratoire commun baptisé ProofInUse pour une durée de trois ans. Ce laboratoire commun avait pour objet de proposer aux industriels des outils de vérification basés sur la preuve mathématique, qui visent à remplacer ou complémenter les activités de tests existantes, tout en réduisant les coûts de vérification.

Mots-clés :

Accueil > Innovation > Recherche partenariale & Transfert > Labos communs Inria - PME > Labos communs avec les PME > ProofInUse

Lire la suite

Haut de page

Suivez Inria