Семинар

Пятница, 16 апреля 2021
11:00
Конференц – зал ЛИТ, Онлайн семинар в Webex
Елизавета Доренская
Институт теоретической и экспериментальной физики имени А. И. Алиханова НИЦ Курчатовский институт

Методы и программное обеспечение для снижения числа ошибок в коде на основе уменьшения участия программиста

(по материалам кандидатской диссертации)

В России и многих других странах реализуются и внедряются проекты по созданию и развитию цифровой экономики. Но в любой программе могут быть допущены ошибки. В этой работе будут рассмотрены три новых метода сокращения количества программных ошибок.
На текущий момент практически все языки программирования являются алгоритмическими, т.е. служат для описания алгоритма. Будет представлен неалгоритмический язык описания проблем, Problem Description Language (PDL). На этом языке создаются описания проблем, а далее транслятор преобразует их в текст на алгоритмическом языке высокого уровня. Применение PDL позволяет сократить участие программиста в написании программ. Будет рассказано о новом методе определения контекста слов и документов. Этот метод может быть применен для компьютерного анализа описаний программ и других текстов на естественном языке. Предложен специально созданный для транслятора PDL -> Perl, банк описаний алгоритмов. Это база данных программных модулей, которой могут пользоваться как люди, так и компьютеры. С помощью транслятора PDL -> Perl проводилась апробация языка PDL.

Информация о семинаре и ссылка на подключение через Webex размещены в Indico.