ABOUT THE PROGRAMMING TECHNIQUES, ORIENTED TO MINIMIZE ERRORS

  • Елизавета Александровна Доренская Institute for Theoretical and Experimental Physics
  • Юрий Алексеевич Семёнов Institute for Theoretical and Experimental Physics
DOI: https://doi.org/10.25559/SITITO.2017.2.226

Abstract

The article focuses on the idea of creating a language for the description of the problem, not an algorithm. It talks about how by using it one can minimize software errors and simplify the process of programming. It also talks of the creation of a bank of algorithms. It is proposed a method of program modification, based on input parameters. The method is described by tree graphs as a method of dialogue between the computer and the programmer and given the scheme of the program based on this method.

Author Biographies

Елизавета Александровна Доренская, Institute for Theoretical and Experimental Physics

software engineer

 

 

Юрий Алексеевич Семёнов, Institute for Theoretical and Experimental Physics

Candidate of Physical and Mathematical Sciences, Leading Researcher, Institute for Theoretical and Experimental Physics, Deputy Head of the Department of Informatics and Computer Networks, Department of Nano-, Bio-, Information Technology and Cognitive Science, Moscow Institute of Physics and Technology (State University)

References

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
Published
2017-08-18
How to Cite
ДОРЕНСКАЯ, Елизавета Александровна; СЕМЁНОВ, Юрий Алексеевич. ABOUT THE PROGRAMMING TECHNIQUES, ORIENTED TO MINIMIZE ERRORS. Modern Information Technologies and IT-Education, [S.l.], v. 13, n. 2, p. 50-56, aug. 2017. ISSN 2411-1473. Available at: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/226>. Date accessed: 11 oct. 2025. doi: https://doi.org/10.25559/SITITO.2017.2.226.
Citation Formats
Issue
Vol 13 No 2 (2017): Modern Information Technology and IT-education
Section
Theoretical Questions of Computer Science, Computer Mathematics
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Publication policy of the journal is based on traditional ethical principles of the Russian scientific periodicals and is built in terms of ethical norms of editors and publishers work stated in Code of Conduct and Best Practice Guidelines for Journal Editors and Code of Conduct for Journal Publishers, developed by the Committee on Publication Ethics (COPE). In the course of publishing editorial board of the journal is led by international rules for copyright protection, statutory regulations of the Russian Federation as well as international standards of publishing. 
Authors publishing articles in this journal agree to the following: They retain copyright and grant the journal right of first publication of the work, which is automatically licensed under the Creative Commons Attribution License (CC BY license). Users can use, reuse and build upon the material published in this journal provided that such uses are fully attributed.