En programmation orientée objet, on appelle instance d'une classe, un objet avec un comportement correspondant à cette classe et un état initial. C'est un anglicisme, de instance qui signifie " cas ", ...

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