|
М |
Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри |
1998 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
- Непомнящий В. А.
- Шилов Н. В.
|
ИСИ СО РАН |
|
04.11.1998 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языках Estelle и SDL |
2000 |
Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
22.07.2000 |
|
СТ |
Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня |
2001 |
Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Программирование |
19.06.2001 |
|
СТ |
Верификация программ сортировки массивов |
1979 |
Непомнящий В. А., Чурина Т. Г. |
|
|
ВЦ СО АН СССР |
Языки и системы программирования |
11.10.1993 |
|
СТ |
Задачи I Открытой Всесибирской олимпиады по программированию |
2001 |
Иртегов Д. В., Непейвода Н. Н., Чурина Т. Г. |
|
|
|
Доклады и тезисы IV-й международной конференции памяти академика А.П.Ершова "Перспективы систем информатики", секция "Школьная информатика" |
30.03.2002 |
|
СТ |
Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle |
1999 |
Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. |
|
|
|
Известия Академии наук. Теория и системы управления |
10.03.2000 |
|
П |
Макет системы "МАРС". Система программирования БАРС. Описание языка |
1988 |
Дудоров Н. Н., Бульонков М. А., Быстров А. В., Касперович Д. А., Чурина Т. Г. |
|
|
ВНТК "СТАРТ" |
|
21.07.1998 |
|
СТ |
Методика подготовки Открытой Всесибирской олимпиады по программированию им. И. В. Поттосина |
2006 |
Боженкова Е. Н., Нестеренко Т. В., Чурина Т. Г. |
Перспективы системной информатики |
|
ИСИ СО РАН |
Перспективы системной информатики`06 |
05.07.2006 |
|
СТ |
Методика подготовки к олимпиадам по программированию |
2009 |
Чурина Т. Г. |
|
|
|
PSI 09, секция "Информатика и образование" |
21.07.2009 |
|
СТ |
Методика подготовки к престижным олимпиадам по информатике |
1999 |
Городняя Л. В., Чурина Т. Г. |
|
|
|
Школьная информатика. Тезисы докладов Третьей международной конференции памяти академика А.П.Ершова "Перспективы систем информатики" |
15.07.1999 |
|
М |
Методы программирования: алгоритмы и структуры данных. Часть 3: Динамические структуры данных, алгоритмы на графах. Учебное пособие |
2014 |
Чурина Т. Г., Нестеренко Т. В. |
|
|
НГУ |
|
22.05.2015 |
|
М |
Методы программирования: перестановки, поиск и сортировка: часть 2: учебное пособие |
2006 |
Цикоза В. А., Чурина Т. Г. |
|
|
ФИТ НГУ |
|
11.01.2007 |
|
М |
Методы программирования: представление и кодирование информации. Часть 1 |
2003 |
Цикоза В. А., Чурина Т. Г. |
|
|
ИСИ СО РАН |
Учебное пособие |
05.03.2004 |
|
П |
Моделирование динамических конструкций языка SDL посредством раскрашенных сетей Петри |
2000 |
Чурина Т. Г. |
|
|
ИСИ СО РАН |
|
18.02.2000 |
|
А |
Моделирование и валидация коммуникационных протоколов, представленных на языках Estelle и SDL, с помо ью сетей Петри высокого уровня |
2000 |
Чурина Т. Г. |
|
|
|
|
16.11.2000 |
|
СТ |
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня |
2008 |
Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. |
|
|
|
Программирование |
27.01.2009 |
|
П |
Моделирование спецификаций языка SDL с помо ью раскрашенных сетей Петри |
2007 |
Машуков М. Ю., Чурина Т. Г. |
|
|
ИСИ СО РАН |
|
19.10.2007 |
|
П |
Моделирование спецификаций языка SDL с помощью модифицированных ИВТ-сетей |
2005 |
Чурина Т. Г., Аргиров В. С. |
|
|
ИСИ СО РАН |
|
01.12.2005 |
|
СТ |
Об одном преобразовании рекурсивных схем и его применении для синтеза корректных программ |
1983 |
Непомнящий В. А., Чурина Т. Г. |
|
|
ВЦ СО АН СССР |
Оптимизация и преобразования программ |
12.10.1993 |
|
СТ |
Олимпиады по программированию |
2000 |
Городняя Л. В., Поттосин И. В., Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть IV |
21.07.2000 |
|
СТ |
Открытая всесибирская олимпиада по программированию имени И.В. Поттосина: опыт десятилетия |
2009 |
Чурина Т. Г., Боженкова Е. Н., Нестеренко Т. В. |
|
|
|
PSI 09, семинар "История информатики в Сибири" |
20.07.2009 |
|
СТ |
Применение автоматизированной системы тестирования NSUts в учебном процессе |
2011 |
Боженкова Е. Н., Нестеренко Т. В., Чурина Т. Г. |
PSI Conference Series |
|
|
Секция "Информатика и образование" |
06.07.2011 |
|
СТ |
Программный комплекс SPV для симуляции, анализы и верификации SDL спецификаций коммуникационных протоколов |
2005 |
Непомнящий В. А., Алексеев Г. И., Аргиров В. С., Белоглазоы Д. М., Бфстров А. В., Машуков М. Ю., Москвин С. О., Мыльников С. П., Новиков Р. М., Семенов И. А., Четвертаков Е. А., Чурина Т. Г. |
|
|
|
Методы и средства обработки информации |
11.01.2006 |
|
СТ |
Реализация системы проектирования сетевых моделей в MS-Windows |
1993 |
Алексеев Г. И., Быстров А. В., Мыльников С. П., Чурина Т. Г. |
|
|
|
Проблемы теоретического и экспериментального программирования: Сборник научных трудов |
10.05.1995 |
|
СТ |
Система программирования БАРС |
1988 |
Бульонков М. А., Быстров А. В., Дудоров Н. Н., Касперович Д. А., Чурина Т. Г. |
|
|
|
Высокопроизводительные вычислительные системы. III Всесоюз. сове ание, Таллин, апрель 1988: Тез.докл. |
11.12.1992 |
|
СТ |
Система редактирования таблиц в интегрирую ей среде непосредственного взаимодействия в системе Unix |
1990 |
Бульонков М. А., Дудоров Н. Н., Чурина Т. Г. |
|
|
ИАПУ ДВО АН СССР |
Методы повышения качества программного обеспечения: Материалы сем. |
15.11.1993 |
|
СТ |
Системы автоматизированной оценки знаний по программированию: использование в учебном процессе |
2019 |
Иртегов Д. В., Нестеренко Т. В., Чурина Т. Г. |
|
|
|
Информатика образования (ПСИ 19) |
05.08.2019 |
|
СТ |
Способ построения раскрашенных сетей Петри, моделирую их Estelle-спецификации |
1995 |
Окунишникова Е. В., Чурина Т. Г. |
|
|
|
Проблемы спецификации и верификации параллельных систем. Сборник научных трудов |
15.12.1996 |
|
П |
Способ построения раскрашенных сетей Петри, моделирующих SDL-системы |
1998 |
Чурина Т. Г. |
|
|
ИСИ СО РАН |
Lecture Notes in Computer Science |
15.02.1999 |
|
СТ |
Трансляция SDL-спецификаций в раскрашенныые сети Петри |
2000 |
Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
22.07.2000 |
|
СТ |
Трансляция SDL-спецификаций в раскрашенныые сети Петри |
2000 |
Чурина Т. Г. |
|
|
|
Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II |
21.07.2000 |
