Díky úzké spolupráci mezi programátory a oddělením pro zajišťování kvality jsou shromáždovány rozmanité požadavky k vývoji programu SEMA a ty dále precizně zpracovány. Speciálním úkolem programátorů je tyto přirozeně jazykově formulované požadavky systematizovat tak, aby pak mohly být převedeny na matematické modely. Tyto modely jsou pak přeloženy pomocí programovacího jazyka do jednotlivých instrukcí pro počítač.