Invarianter og god programmeringsskikk

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.