Электронная библиотека (репозиторий) Томского государственного университета
Прокопенко, Светлана Анатольевна | статьи в сборниках

Add to Quick Collection   All 13 Results

Showing items 1 - 13 of 13.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   Применение модели расширенного автомата для обучения алгоритму поиска фиктивных переменных булевой функции
Authors: Тишкова, Валерия Ивановна | Прокопенко, Светлана Анатольевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 7
Type: статьи в сборниках
Date: 2022
Add   Проверка свойства реактивности в Dart-реализации SMTP-клиента
Authors: Сотников, Александр Павлович | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 71-72
Type: статьи в сборниках
Date: 2022
Add   Эксперимент по выявлению избыточного сетевого взаимодействия Dart-реализации SMTP-клиента с сервером
Authors: Сотников, Александр Павлович | Шабалдина, Наталия Владимировна | Громов, Максим Леонидович | Прокопенко, Светлана Анатольевна | Твардовский, Александр Сергеевич
Source: Новые информационные технологии в исследовании сложных структур : материалы Четырнадцатой международной конференции, 19-24 сентября 2022 г.. Томск, 2022. С. 70-71
Type: статьи в сборниках
Date: 2022
Add   Тестирование DART-реализации клиентской части протокола POP3
Authors: Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна | Сотников, Александр Павлович
Source: Молодежь и современные информационные технологии : сборник трудов XVIII Международной научно-практической конференции студентов, аспирантов и молодых ученых, 22–26 марта 2021 г.. Томск, 2021. С. 158-159
Type: статьи в сборниках
Date: 2021
Description: Жизненный цикл любого программного продукта, в том числе мобильного приложения, является многоэтапным, начиная от формулировки формальных требований к продукту и заканчивая непосредственно эксплуатаци ... More
Add   К применимости композиции конечных автоматов к описанию взаимодействия расширенных автоматов
Authors: Болтова, Виктория Сергеевна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна | Михайлова, Александра Николаевна
Source: Новые информационные технологии в исследовании сложных структур : материалы Тринадцатой Международной конференции, 7–9 сентября 2020 г.. Томск, 2020. С. 133
Type: статьи в сборниках
Date: 2020
Add   К построению параллельной композиции расширенных автоматов
Authors: Дарусенкова, Екатерина Владимировна | Прокопенко, Светлана Анатольевна | Шабалдина, Наталия Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 81-82
Type: статьи в сборниках
Date: 2018
Add   К разработке модуля решения задач обучающей системы по курсу "Аналитическая геометрия"
Authors: Беккерман, Екатерина Николаевна | Прокопенко, Светлана Анатольевна | Чепурная, Александра Владимировна
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 29-30
Type: статьи в сборниках
Date: 2018
Add   Тестирование JAVA программ с использованием инструмента FSMTest2JUnit
Authors: Прокопенко, Светлана Анатольевна | Громов, Максим Леонидович | Шабалдина, Наталия Владимировна | Батрацкий, Сергей Васильевич
Source: Новые информационные технологии в исследовании сложных структур : материалы двенадцатой конференции с международным участием, 4-8 июня 2018 г.. Томск, 2018. С. 67
Type: статьи в сборниках
Date: 2018
Add   Разработка электронного учебно-методического пособия по курсу "Дискретная математика" в системе дистанционного обучения MOODLE
Authors: Гофман, Рудольф Алексеевич | Прокопенко, Светлана Анатольевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 5
Type: статьи в сборниках
Date: 2016
Add   Создание графического интерфейса к программе кодогенерации "Искусственный программист"
Authors: Батрацкий, Сергей Васильевич | Прокопенко, Светлана Анатольевна
Source: Новые информационные технологии в исследовании сложных структур : материалы одиннадцатой международной конференции, 6-10 июня 2016 г.. Томск, 2016. С. 68-69
Type: статьи в сборниках
Date: 2016
Add   К разработке программы кодогенерации «Искусственный программист»
Authors: Батрацкий, Сергей Васильевич | Прокопенко, Светлана Анатольевна
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 72-73
Type: статьи в сборниках
Date: 2014
Add   Метод синтеза проверяющих тестов для расширенных автоматов без построения эквивалентного конечного автомата
Authors: Коломеец, Антон Владимирович | Прокопенко, Светлана Анатольевна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 62-66
Type: статьи в сборниках
Date: 2006
Add   Преобразование спецификации при пассивном тестировании телекоммуникационных протоколов
Authors: Жигулин, Максим Владимирович | Прокопенко, Светлана Анатольевна | Евтушенко, Нина Владимировна
Source: Доклады VI Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" - ICAM'06 (Шушенское, Национальный парк "Шушенский бор", 5-8 сентября 2006 г.). Томск, 2006. С. 59-62
Type: статьи в сборниках
Date: 2006
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

^