Доцент кафедры ИТИДиС

Кандидат технических наук, Доцент по кафедре

Список предметов:

  1. Теория автоматов (Лекция)
  2. Объектно-ориентированное программирование (Практика)

Список публикаций:

Статья:

  1. Спицына Н.В., Евтушенко Н.В., Петренко А.Ф. Решение уравнений в алгебре полуавтоматов для операции обобщенной композиции // Вестник ТГУ. Приложение, 2002.- № 1(II). - С. 265-270.
  2. Спицына Н.В., Тренькаев В.Н. К синтезу тестов для композиции конечных автоматов // Вестник ТГУ. Приложение. Серия «Математика. Кибернетика. Информатика», 2003. - № 6. - С. 183-187.
  3. Spitsyna N., Trenkaev V., El-Fakih Kh., Yevtushenko N. FSM Based Interoperability Testing: Work in Progress // Proceedings of the Work in Progress Session of 23rd IFIP WG 6.1. Inter. Confer. Formal Techniques For Networked and Distributed Systems, FORTE 2003. - P. 29-38.
  4. El-Fakih Kh., Trenkaev V., Spitsyna N., Yevtushenko N. FSM Based Interoperabiliti Testing Methods for Multi Stimuli Model // Testing of Communicating Systems. Germany. Springer, 2004. - P. 60-75.

Доклад:

  1. Евтушенко Н.В., Спицына Н.В. Синтез полуавтоматов посредством решения логических уравнений // Материалы международной конференции "Компьютерные науки и информационные технологии", посвященной памяти профессора А. М. Богомолова. - Саратов, 2002. - 26 c.
  2. Спицына Н.В. Тестирование на взаимодействие: введение класса неисправностей на примере протокола POP3 // Материалы IX международной научно-практической конференции студентов, аспирантов и молодых ученых «Современные техника и технологии». - Томск: Изд-во ТПУ, 2003. - С. 214-216.
  3. Спицына Н.В. Этапы тестирования на взаимодействие // Материалы Международной конференции «Современные проблемы физики и высокие технологии». Томск: Изд-во НТЛ, 2003. - С. 500-502.
  4. Спицына Н.В., Шабалдин А.В. Тестирование программных реализаций протоколов в лабораторном практикуме // Материалы Всероссийской конференции «Инфокоммуникационные и вычислительные технологии и системы». - Улан-Удэ: Изд-во Бурятского госуниверситета, 2003. - С. 78-81.
  5. Spitsyna N., Trenkaev V. FSM Based interoperability testing of communication protocols // Proceedings of the IEEE-Siberian Conference on Control and Communications. - Tomsk: The Tomsk IEEE - Chapter & Student Branch, 2003 . - P. 20-23.
  6. Шабалдин А.В., Спицына Н.В., Коломеец А.В. Автоматизация тестирования реализаций протоколов прикладного уровня в лабораторном практикуме // Материалы IV научно-практической конференции «Современные средства и системы автоматизации». – Томск: Изд-во ТУСУР, 2004. - С. 222-225.
  7. Спицына H.В., Евтушенко H.В. Трансляция тестов для компоненты автоматной сети посредством решения автоматных уравнений // Материалы пятой международной конференции «Автоматизация проектирования дискретных систем». - Минск: НАН Беларуси, 2004. - С. 96-103.
  8. Спицына H.В., Евтушенко H.В. Синтез условных проверяющих тестов для недетерминированных автоматов // Материалы VIII Международного семинара «Дискретная математика и ее приложения». - М.: Изд-во механико-математического факультета МГУ, 2004 . - С. 310-313.
  9. El-Fakih Kh., Trenkaev V., Spitsyna N., Yevtushenko N. FSM Based Interoperability Testing Methods // Lecture notes in Computer Science 2978, 2004. - P. 60-75.
  10. Громов М.Л., Шабалдина Н.В. О распознавании недетерминированного автомата в заданном классе // Материалы IX Международного семинара «Дискретная математика и её приложения» / Под ред. О.М. Касим-Заде. - М.: ММФ МГУ, 2007. - С. 157-160.
  11. Gromov M., El-Fakih Kh., Shabaldina N., Yevtushenko N. Distinguing Non-deterministic Timed Finite State Machines // Vol. 5522 of LNCS. - Springer, 2009. - P. 137-151.

Учебно-методическая литература:

  1. Спицына Н.В., Шабалдин А.В. Интернет-программирование. Лабораторные работы. Часть 1: Методическое пособие // Томск: Изд-во ТГУ, 2002. - 50 c.

Диссертация, представленная на соискание ученой степени кандидата технических наук:

  1. Спицына Н.В. Синтез тестов для проверки взаимодействия дискретных управляющих систем методами теории автоматов // Диссертация, представленная на соискание ученой степени кандидата технических наук, ТГУ, 2005. - 159 c.