Un module en programmation désigne un espace de nommage. Pour reprendre l'image de la programmation objet, un module est une instance unique qui n'utilise pas d'héritage et ne contient aucun module ...

Le principe est de préciser ce qui doit être vrai à un moment donné de l'exécution d'un programme. Il ne faut pas penser que ce paradigme oblige à réaliser des tests effectifs des règles pendant ...

Elle est l’une des rares femmes à figurer dans la galerie des pionniers de l’informatique et a contribué à la création des interfaces graphiques au sein du laboratoire de Xerox. Ses travaux ont influe ...