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

Europe/Moscow
Description

Пятница, 16 апреля 2021 г. в 11.00
Конференц-зал ЛИТ
Онлайн семинар Webex

Доренская Елизавета Александровна

Институт теоретической и экспериментальной физики имени А. И. Алиханова
НИЦ Курчатовский институт

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

В России и многих других странах реализуются и внедряются проекты по созданию и развитию цифровой экономики. Но в любой программе могут быть допущены ошибки. В этой работе будут рассмотрены три новых метода сокращения количества программных ошибок.

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


Friday, 16 April 2021, 11:00
LIT Conference Hall
Online seminar via Webex

Dorenskaya Elizaveta

Institute for Theoretical and Experimental Physics
NRC Kurchatov Institute

Methods and software to decrease the number of errors in the code by reducing the programmer’s participation

(based on the PhD thesis)

Projects to create and develop the digital economy are implemented in Russia and many other countries. People can make mistakes in any program. Three new methods for reducing software errors are considered.
Currently, almost all programming languages are algorithmic. A non-algorithmic Problem Description Language (PDL) is presented. Problem descriptions are created in this language, and then the translator converts them into a text of a high-level algorithmic language. The use of PDL allows one to reduce the programmer’s participation in writing programs. A new method for defining the context of words and documents is described. This method can be applied to the computer analysis of program descriptions and other natural language texts. A bank of algorithm descriptions specially created for the PDL -> Perl translator is proposed. It is a database of software modules that can be used by both humans and computers. The PDL language is tested with the PDL -> Perl translator.


Подключение к семинару:

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

Местоhttps://jinr.webex.com/jinr/j.php?MTID=mb56a1ec527d647efb902a84706b559a6
Когда: 16 апреля 2021 г. 11:00 – 13:00

Номер совещания (код доступа): 183 685 8205
Пароль совещания: KEk6ns2B2uq

Присоединиться по телефону
Только передача голоса по IP
 
Присоединение с помощью видеосистемы или приложения
Наберите 1836858205@jinr.webex.com
Также можно набрать 62.109.219.4 и ввести номер совещания.
 
Присоединиться с использованием Microsoft Lync или Microsoft Skype для бизнеса
Наберите 1836858205.jinr@lync.webex.com

The agenda of this meeting is empty