|
Електронний архів Полтавського університету економіки і торгівлі >
Навчально-науковий інститут денної освіти >
Кафедра комп'ютерних наук та інформаційних технологій >
Наукові роботи студентів (ННІДО КНІТ) >
Please use this identifier to cite or link to this item:
http://dspace.puet.edu.ua/handle/123456789/15720
|
| Название: | Алгоритм тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування» |
| Авторы: | Сімперович, М. М.
Черненко, О. О. |
| Ключевые слова: | верифікація
тестування
алгоритм
тренажер
verification
testing
algorithm
simulator |
| Issue Date: | 2022 |
| Издатель: | Полтавський університет економіки і торгівлі |
| Библиографическое описание: | Сімперович М. М. Алгоритм тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування» / М. М. Сімперович, О. О. Черненко // Збірник наукових статей магістрів. – Полтава : ПУЕТ, 2022. – C. 92–96. |
| Аннотация: | В статті розглядається проблема верифікації програмного забезпечення та опис розробки алгоритму для навчального тренажеру з теми «Верифікація програм» для англомовного дистанційного курсу «Теорія програмування».
The article deals with the problem of software verification and a description of the development of an algorithm for a training simulator on the topic “Verification of programs” for the English distance course “Programming Theory”. |
| URI: | http://dspace.puet.edu.ua/handle/123456789/15720 |
| ISBN: | 978-966-184-435-2 |
| Appears in Collections: | Наукові роботи студентів (для НРАТ)
Наукові роботи студентів (ННІДО КНІТ)
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
