̽»¨¾«Ñ¡

I denne forelesningen skal vi se pÃ¥ hvordan en god programmerer resonerer om programmet sitt.  Vi skal se pÃ¥ tilstander i programmet, tilstandsoverganger og grupper av tilstander som er beskrevet ved antagelser eller betingelser.  En viktig gruppe slike antagelser kalles invarianter. Vi skal ogsÃ¥ se pÃ¥ noen eksamenstips i forbindelse med dette stoffet.