Jusqu'à présent , les éditeurs de programmes ont eu la "belle vie", selon l'expression de Damien Doligez, chercheur à l'Institut national de recherche en informatique et en automatique (Inria). L'industrie du logiciel n'a en effet jamais eu, au cours des vingt dernières années, à se remettre profondément en cause. Mais elle sera, dans un tout proche avenir, confrontée à une révolution.