Invariant
Définition
Elément constant d'une boucle de contrôle. Par exemple, dans une boucle
while(cond) do bloc end, l'invariant est (not cond) or bloc.while(cond) do bloc end, l'invariant est (not cond) or bloc.
Patent and Trademark Office
in Organisations | nn | en
Office étatsunien des brevets et marques. Section polémique C'est cet organisme qui a autorisé les premiers brevets concernant les logiciels, à l'encontre des recommandations des experts. Le…