Английский ⇄ Русский +

Abrial model ударения
ИТ.	модель Абриаля
СМИ.	модель Абриаля (разновидность бинарной модели данных, в которой используется алгоритмический перевод непроцедурных логических высказываний, содержащих логические связки и кванторы всеобщности и существования, в форму программы, которую можно реализовать в базе данных)