Pour une définition de méthodes rigoureuses dans la conception de logiciels et de langages mieux adaptés aux problèmes que leurs équivalents conventionnels.