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 ...

En programmation informatique, la réflexion est la capacité d'un programme à examiner, et éventuellement à modifier, ses structures internes de haut niveau (par exemple ses objets) lors de son ...

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 ...