Ինֆորմատիկա
Սահմանափակումների միալար մշակման մոդելի կիրառությունը ինտեգրված համակարգերի նախագծման տվյալների հենքերում