О ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, ОРИЕНТИРОВАННОЙ НА МИНИМИЗАЦИЮ ОШИБОК

  • Елизавета Александровна Доренская НИЦ «Курчатовский институт» ФГБУ «ГНЦ РФ ИТЭФ»
  • Юрий Алексеевич Семёнов НИЦ «Курчатовский институт» ФГБУ «ГНЦ РФ ИТЭФ»
DOI: https://doi.org/10.25559/SITITO.2017.2.226

Аннотация

Рассматривается возможность создания языка описания проблемы, а не алгоритма. С помощью этой техники можно минимизировать программные ошибки и упростить процесс программирования. Сообщается о создании банка алгоритмов. Предложен метод вариации программ на основе входных параметров. Описан метод древовидных графов как способ диалога между компьютером и программистом и дана схема программы на основе этого метода.

Сведения об авторах

Елизавета Александровна Доренская, НИЦ «Курчатовский институт» ФГБУ «ГНЦ РФ ИТЭФ»

инженер-программист

Юрий Алексеевич Семёнов, НИЦ «Курчатовский институт» ФГБУ «ГНЦ РФ ИТЭФ»

кандидат физико-математических наук, ведущий научный сотрудник, НИЦ «Курчатовский институт» ФГБУ «ГНЦ РФ ИТЭФ»; заместитель заведующего кафедрой информатики и вычислительных сетей Института нано-, био-, информационных, когнитивных и социогуманитарных наук и технологий, Московский физико-технический институт (государственный университет)

Литература

1. “Jekonomika v 2016 godu i cherez 10 let”, Semenov Ju.A. Jekonomicheskie strategii N1, 2017 str.126.
2. Handbook of Theoretical Computer Science Methods and logics for Proving Programs, Chapter 15, Patrick Cousot, Elsevier Science Publishers B.V., 1990, p.844
3. Il'in A. V. Konstruirovanie razreshajushhih struktur na zadachnyh grafah sistemy znanij o programmiruemyh zadachah // Informacionnye tehnologii i vychislitel'nye sistemy, 2007. №3, str. 30-36.
4. Il'in V. D. Sistema porozhdenija programm. M.: Nauka, 1989, 264 str.
5. Tyugu Je. H. Konceptual'noe programmirovanie. M.: Nauka, 1984, 256 str.
6. Il'in A. V., Il'in V. D. Sistematizacija znanij o programmiruemyh zadachah // Sistemy i sredstva informatiki, 2014. Tom 24, № 3, str. 192-203.
7. Ocenka kolichestva oshibok v programme. Model' Millsa
8. "Razrabotka banka algoritmov i osnov jazyka opisanija problem s cel'ju minimizacii chisla programmnyh oshibok", Ju.A.Semenov, A.P.Ovsjannikov, T.V.Ovsjannikova, "Trudy NIISI RAN tom 6, №2", Moskva, 2016, str. 96-100.
9. Kogda komp'jutery stanut umnee cheloveka”, Chip 09/14, str. 24-25
10. https://geektimes.ru/post/286304/ Nejroset' DeepCoder uchitsja programmirovat', zaimstvuja kod u drugih program
11. Pravila Holcmana, http://book.itep.ru/10/holz_rules.htm
12. Ivannikov V. P., Belevancev A. A., Borodin A., Ignat'ev V., Zhurihin D., Avetisjan A. I., Leonov M. Staticheskij analizator Svace dlja poiska defektov v ishodnom kode programm // Trudy Instituta sistemnogo programmirovanija RAN. 2014. T. 26. № 1. str. 231-250
Опубликована
2017-08-18
Как цитировать
ДОРЕНСКАЯ, Елизавета Александровна; СЕМЁНОВ, Юрий Алексеевич. О ТЕХНОЛОГИИ ПРОГРАММИРОВАНИЯ, ОРИЕНТИРОВАННОЙ НА МИНИМИЗАЦИЮ ОШИБОК. Современные информационные технологии и ИТ-образование, [S.l.], v. 13, n. 2, p. 50-56, aug. 2017. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/226>. Дата доступа: 27 apr. 2024 doi: https://doi.org/10.25559/SITITO.2017.2.226.
Форматы библиографических ссылок
Выпуск
Том 13 № 2 (2017): Современные информационные технологии и ИТ-образование
Раздел
Теоретические вопросы информатики, прикладной математики, компьютерных наук
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.

Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.