génie logiciel logiciels spécifications abélard pierre actes de congrès b (méthode formelle) méthodes formelles (informatique) systèmes d'information abélard pierre dictionnaires algèbre linéaire analyse fonctionnelle informatique automates mathématiques, théorie des bases de données relationnelles boole, algèbre de cantor cantor (methode) conception orientée objets (informatique) cryptographie gestion, informatique génie logiciel dictionnaires français génie logiciel spécifications informatique informatique mathématiques manuels d'enseignement supérieur java (langage de programmation) langages de programmation modèles mathématiques langages de programmation orientés objet logiciels développement logiciels essais logiciels fiabilité logiciels validation logiciels évaluation