Ануреев, Игорь Сергеевич
(Новосибирский государственный университет, 2008-12-16)
Онтологические системы переходов – формализм, предназначенный для спецификации программных систем. Они объединяют концептуальный подход к статической семантики систем, основанный на онтологиях, с операционным подходом к ...