Цахим шуудангийн бүртгэл: Методы синтеза систем в целевых программах