РУсскоязычный Архив Электронных СТатей периодических изданий
Вестник Воронежского государственного университета. Серия: Системный анализ и информационные технологии/2009/№ 1/

ОБЪЕКТНО-ОРИЕНТИРОВАННЫЙ МЕТАЯЗЫК

В рамках данной работы рассматривается оригинальный подход к решению проблемы разработки метаязыка путем соединения логического и объектно-ориентированного подходов, приводится описание типов и операций языка, вводится определение трансформационной семантики как набора правил преобразования модели предметной области в формальную теорию над исчислением предикатов первого порядка с равенством

Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
** - вычисляется автоматически, возможны погрешности

Похожие документы: