Вы здесь

Главная

Непомнящий В. А.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ REAL92: комбинированный язык спецификаций для систем и свойств взаимодействую их процессов реального времени 1993 Непомнящий В. А., Шилов Н. В. Программирование 21.03.1994
СТ REAL: язык для спецификации и верификации систем реального времени 2000 Непомнящий В. А., Шилов Н. В., Бодин Е. В. Системная информатика 05.04.2001
СТ Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов 2022 Непомнящий В. А., Кондратьев Д. А. Программирование 03.10.2022
СТ Автоматическая верификация С-программ на основе смешанной аксиоматической семантики 2013 Марьясов И. В., Непомнящий В. А., Промский А. В., Кондратьев Д. А. Моделирование и анализ информационных систем 22.04.2014
П Алгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри 2012 Визовитин Н. В., Непомнящий В. А. ИСИ СО РАН 10.06.2013
П Анализ MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри 2013 Черненок С. А., Непомнящий В. А. ИСИ СО РАН 18.11.2013
СТ Анализ и верификация MSC-диаграмм распределенных систем с помо ью раскрашенных сетей Петри 2014 Черненок С. А., Непомнящий В. А. Моделирование и анализ информационных систем 22.05.2015
СТ Базисные средства спецификации и верификации трансляторов 1986 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Методы трансляции и конструирования программ 13.10.1993
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
 ИСИ СО РАН 04.11.1998
СТ Верификация UCM-спецификаций распределенных систем с использованием раскрашенных сетей Петри 2015 Визовитин Н. В., Непомнящий В. А., Стененко В. А. Кибернетика и системный анализ 13.05.2015
СТ Верификация С-программ в мультиязыковой системе СПЕКТР 2010 Непомнящий В. А., Ануреев И. С., Атучин М. М., Марьясов И. В., Петров А. А., Промский А. В. Моделирование и анализ информационных систем 13.04.2011
СТ Верификация С-программ на основе смешанной аксиоматической семантики 2010 Ануреев И. С., Марьясов И. В., Непомнящий В. А. Моделирование и анализ информационных систем 13.04.2011
СТ Верификация блока генерации кодов транслятора с языка БЭЙСИК 1981 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Языки и системы программирования 12.10.1993
СТ Верификация и тестирование интерпретатора языка БЭЙСИК 1980 Непомнящий В. А., Сулимов А. А. ВЦ СО АН СССР Трансляция и модели программ 11.10.1993
СТ Верификация интерпретатора для языка БЭЙСИК 1980 Непомнящий В. А., Сулимов А. А. Тез. докл. Всесоюз. конф. "Методы математической логики в проблемах искусственного интеллекта и систематическое программирование" 11.10.1993
СТ Верификация коммуникационных протоколов, представленных на языках Estelle и SDL 2000 Непомнящий В. А., Алексеев А. Г., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Тезисы докладов Четвертого сибирского конгресса по прикладной и индустриальной математике (ИНПРИМ-2000). Часть II 22.07.2000
СТ Верификация коммуникационных протоколов, представленных на языке Estelle, с помо ью сетей Петри высокого уровня 2001 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Программирование 19.06.2001
СТ Верификация программ линейной алгебры 1981 Непомнящий В. А. Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига 12.10.1993
СТ Верификация программ линейной алгебры в системе СПЕКТР 1992 Непомнящий В. А., Сулимов А. А. Кибернетика и системный анализ 06.01.1993
СТ Верификация программ над массивами 1993 Непомнящий В. А. Системная информатика 26.07.1995
СТ Верификация программ обработки данных с использованием автоматной модели файлов 1988 Непомнящий В. А., Рякин О. М. Прикладная информатика 13.10.1993
СТ Верификация программ обработки файлов на языке Паскаль 1981 Непомнящий В. А. Программирование 11.10.1993
СТ Верификация программ сортировки массивов 1979 Непомнящий В. А., Чурина Т. Г. ВЦ СО АН СССР Языки и системы программирования 11.10.1993
П Верификация раскрашенных сетей Петри методом проверки моделей 2001 Козюра В. Е., Непомнящий В. А., Новиков Р. М. ИСИ СО РАН 22014 23.10.2001
П Верификация раскрашенных сетей Петри методом проверки моделей 2015 Стененко А. А., Непомнящий В. А. ИСИ СО РАН 15.06.2015
СТ Верификация телекоммуникационных систем, специфицированных взаимодействую ими конечными автоматами, с помо ью раскрашенных сетей Петри 2011 Белоглазов Д. М., Машуков М. Ю., Непомнящий В. А. Моделирование и анализ информационных систем 13.02.2012
СТ Верификация транслятора с языка БЭЙСИК 1981 Непомнящий В. А., Сулимов А. А. Синтез, тестирование, верификация и отладка программ: Тез.докл./Всесоюз.конф., Рига 12.10.1993
СТ Верификация финитной итерации над наборами структур данных 2002 Непомнящий В. А. Программирование 03.04.2002
СТ Верификация финитных итераций над наборами изменяемых структур данных 2007 Непомнящий В. А. Кибернетика и системный анализ 24.09.2007
СТ Вычисления на автоматах в реальное время 1974 Непомнящий В. А., Валиев М. К. Энциклопедия "Кибернетика" 11.10.1993
СТ Вычисления на машинах Тьюринга с метками 1968 Непомнящий В. А. Резюме научных ссоб ений А IX Всесоюз. алг. кол., Гомель 11.10.1993
СТ Вычислительная машина абстрактная 1977 Непомнящий В. А. Математическая энциклопедия 11.10.1993
СТ Дедуктивная верификация протокола скользя его окна 2012 Шкляев Д. А., Непомнящий В. А. Моделирование и анализ информационных систем 10.06.2013
СТ Динамическая логика 1988 Непомнящий В. А. Математический энциклопедический словарь 13.10.1993
СТ Доказательство правильности программ линейной алгебры 1982 Непомнящий В. А. Программирование 12.10.1993
СТ Доказательство условий корректности в проблемно-ориентированной системе верификации программ 1986 Непомнящий В. А., Воробьев С. Г. Материалы VIII школы-семинара "Персональные компьютеры и локальные сети" 11.12.1992
СТ Использование сетей Петри для верификации распределенных систем, представленных на языке Estelle 1999 Алексеев А. Г., Быстровв А. В., Куртов С. А., Мыльников С. П., Непомнящий В. А., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г. Известия Академии наук. Теория и системы управления 10.03.2000
А Исследование базисов и достаточных классов рекурсивных функций 1967 Непомнящий В. А. 11.10.1993
СТ К теории рудиментарных предикатов Шмульяна 1969 Непомнящий В. А. Тез. докл.Всесоюзного симпозиума по математической логике 11.10.1993
СТ Конференция "Формальные методы в программировании и их применения" 1993 Непомнящий В. А., Поттосин И. В. Программирование 22.03.1994
СТ Конференция по методам трансляции и конструирования программ 1985 Касьянов В. Н., Непомнящий В. А. Программирование 16.04.1993
СТ Критерии полноты систем операций в операторных алгоритмах с массивами и засылками констант 1973 Непомнящий В. А. ВЦ СО АН СССР Системное и теоретическое программирование 11.10.1993
СТ Критериии алгоритмической полноты систем операций 1972 Непомнящий В. А. Теория программирования: Труды симп. 11.10.1993
П Математическая теория программирования. Обзор зарубежных работ 1982 Непомнящий В. А., Дехтярь М. И. ВЦ СО АН СССР 12.10.1993
СТ Международный симпозиум по теории программирования 1973 Ершов А. П., Непомнящий В. А. Вестник АН СССР 11.10.1993
СТ Моделирование и верификация взаимодействия функциональностей в телефонных сетях при помо и конечных автоматов и раскрашенных сетей Петри 2008 Белоглазов Д. М., Непомнящий В. А. Вестник НГУ 26.01.2009
СТ Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помо ью сетей Петри высокого уровня 2008 Непомнящий В. А., Аргиров В. С., Беломазов Д. М., Быстров А. В., Чурина Т. Г., Четвертаков Е. А. Программирование 27.01.2009
П Моделирование и верификация распределенных систем, представленных на языке SDL, с помо ью языка DYNAMIC-REAL 2010 Непомнящий В. А., Бодин Е. В., Веретнов С. О. ИСИ СО РАН 12.08.2010
СТ На пути к верификации C#-программ: трехуровневый подход 2006 Непомнящий В. А., Ануреев И. С., Дубрановский И. В., Промский А. В. Программирование 28.09.2006
П На пути к верификации C-программ. Часть 2: Язык C-light-kernel и его аксиоматическая семантика 2001 Непомнящий В. А., Ануреев И. С., Михайлов И. Н., Промский А. В. ИСИ СО РАН 12.08.2002

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Верификация Estelle-спецификаций распределенных систем посредством раскрашенных сетей Петри 1998 Непомнящий В. А., Алексеев Г. И., Быстров А. В., Куртов С. А., Мыльников С. П., Окунишникова Е. В., Чубарев П. А., Чурина Т. Г.
  1. Непомнящий В. А.
  2. Шилов Н. В.
 ИСИ СО РАН 04.11.1998
СБ Проблемы программирования. Сборник трудов 1976
  1. Котов В. Е.
  2. Непомнящий В. А.
 ВЦ СО АН СССР 16.12.1976
СБ Проблемы спецификации и верификации параллельных систем. Сборник научных трудов 1995
  1. Непомнящий В. А.
 ИСИ СО РАН 15.12.1996
СБ Проблемы теоретического и экспериментального программирования: Сборник научных трудов 1993
  1. Непомнящий В. А.
 ИСИ СО РАН 10.05.1995
СБ Семинар "Семантика, спецификация и верификация программ: теория и приложения"/5-й международный симпозиум по компьютерным наукам в России, Казань, 14-15 июня 2010 2010
  1. Непомнящий В. А.
  2. Соколов В. А.
 22.06.2010
СБ Теория программирования, часть 1: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть I: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.08.1972
СБ Теория программирования, часть II: Труды симпозиума, Новосибирск, 7-11 августа 1972 г. 1972
  1. Непомнящий В. А.
 ВЦ СО АН СССР 13.04.1972
СБ Языки и системы программирования. (Сборник научных трудов) 1979
  1. Поттосин И. В.
  2. Непомнящий В. А.
 ВЦ СО АН СССР 15.12.1979