Средство валидации формальных описаний программных моделей архитектур процессоров
инструментальное программное обеспечение языки программирования
Программное средство позволяет использовать описания программных моделей архитектур процессоров вычислительных систем, созданных с использованием предметно-ориентированного языка для генерации машинного кода (ассемблирования) и генерации ассемблерного кода из машинного (дизассемблирования). Это позволяет, во-первых, получать исполнимые файлы для заданной целевой платформы, а с другой стороны, выполнить валидацию описаний архитектур в процессе их разработки.
Разработка отечественного инструментального программного обеспечения
Иван
Логинов
Павлович
физическое лицо
Кандидат технических наук
Отсутствует
-
-
РОССИЯ
Иван
Логинов
Павлович
физическое лицо
РОССИЯ
50.41.17
Системное программное обеспечение
02.02.ES
COMPUTER SCIENCE, HARDWARE & ARCHITECTURE
Иван
Логинов
Павлович
Авторство
РОССИЯ
Иван
Логинов
Павлович
Физическое лицо
РОССИЯ
Иван
Логинов
Павлович
Физическое лицо
РОССИЯ