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

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

• Тюкачев Н.А.
• Седунов А.А.

• Общий отдел

• Технические науки. Промышленность
• Физико-математические науки