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

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

Аннотация

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

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

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

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

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

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

Литература

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>. Дата доступа: 18 nov. 2017 doi: https://doi.org/10.25559/SITITO.2017.2.226.
Раздел
Теоретические вопросы информатики, прикладной математики, компьютерных наук