2006
Патенты, свидетельства на программные продукты
Князева М.А., Жеравин М.В., Плохих С.А., Волков Д.А., Маевский М.С., Зотов И.Ю., Тимченко В.А., Бердник А.Н. Система, моделирующая процесс преобразования программ, управляемый знаниями. Зарегистрировано в Реестре программ для ЭВМ 15 августа 2006г. Свидетельство Федеральной службы по интеллектуальной собственности, патентам и товарным знакам об официальной регистрации программы для ЭВМ № 2006612928.
Основное назначение системы состоит в предоставлении возможности проведения экспериментов для исследования эффективности преобразований программ, зависимостей между преобразованиями и их влияния на результаты друг друга. Языки программирования высокого уровня, на которых заданы исходные программы – объекты преобразования, могут быть различными. Набор преобразований программ, применяемых к исходным программам, также не является фиксированным. Пользователю наряду с возможностью применения набора выбранных преобразований к выбранной программе, задания стратегии применения этих преобразований, предоставляется возможность описывать (задавать) собственные преобразования. Пользователь может добавлять описанные преобразования к уже существующим, тем самым, расширяя набор преобразований, с которыми может работать система, а также модифицировать уже существующие в системе преобразования. Система позволяет генерировать низкоуровневый код на языке ассемблера для платформы х86. В системе присутствуют средства оценивания эффективности применения преобразований.