Вы здесь

Шелехов В. И.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Проектирование сертифицированного компилятора предикатных программ 2019 Шелехов В. И. Вестник СибГУТИ 31.10.2019
СТ Разработка сертифицированного компилятора предикатных программ 2019 Шелехов В. И. Наукоёмкое программное обеспечение (ПСИ 19) 05.08.2019
СТ Технология автоматного программирования на примере программы управления лифтом 2017 Шелехов В. И., Тумуров Э. Г. Программная инженерия 11.04.2017
СТ Классификация программ, ориентированная на технологию программирования 2016 Шелехов В. И. Программная инженерия 23.01.2017
СТ Модель программы управления полетом спутника qXz 2016 Тюгашев А. А., Шелехов В. И. Тезисы докладов Международной научной конференции "Математические методы и современные космические технологии" 25.10.2016
СТ Разработка автоматных программ методом трансформации требований 2014 Шелехов В. И. PSI Conference Series PSI 14 "Наукоемкое программное обеспечение" 30.08.2014
СТ Язык и технология автоматного программирования 2014 Шелехов В. И. Программная инженерия 13.05.2014
СТ Язык и технология автоматного программирования 2014 Шелехов В. И. Программная инженерия 12.05.2014
П Реализация склеивания переменных в предикатной программе 2012 Каблуков И. В., Шелехов В. И. ИСИ СО РАН 11.06.2013
П Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования 2012 Шелехов В. И. ИСИ СО РАН 10.06.2013
П Автоматическое доказательство формул корректности предикатной программы в системе Russell 2012 Батраков В. А., Шелехов В. И. ИСИ СО РАН 10.06.2013
П Контроль динамической семантики предикатной программы 2012 Каблуков И. В., Шелехов В. И. Lecture Notes in Bioinformatics ИСИ СО РАН 10.12.2012
СТ Спецификация реактивных систем в виде гиперграфовой композиции 2011 Шелехов В. И., Тумуров Э. Г. PSI 11, Труды НПО 01.07.2011
СТ Верификация и синтез программ сложения на базе правил корректности операторов 2010 Шелехов В. И. Моделирование и анализ информационных систем 14.04.2011
П Модель корректности программ на языке исчисления вычислимых предикатов 2007 Шелехов В. И. ИСИ СО РАН 22.03.2011
П Исчисление вычислимых предикатов 2007 Шелехов В. И. ИСИ СО РАН 21.03.2011
СТ Верификация и синтез эффективных программ стандартных функций floor, isqrt и ilog2 в технологии предикатного программирования 2010 Шелехов В. И. Проблемы управления и моделирования в сложных системах 28.06.2010
П Разработка эффективных программ стандартных функций floor, isqrt и ilog2 по технологии предикатного программирования 2010 Шелехов В. И. ИСИ СО РАН 22.06.2010
М Предикатное программирование: Учебное пособие 2009 Шелехов В. И. НГУ 16.06.2010
П Язык предикатного программирования Р 2010 Карнаухов Н. С., Першин Д. Ю., Шелехов В. И. ИСИ СО РАН 11.05.2010
СТ Анализ об его понятия программы 2006 Шелехов В. И. ИСИ СО РАН Методы предикатного программирования 28.09.2006
СТ Язык спецификации процессов 2006 Шелехов В. И. ИСИ СО РАН Методы предикатного программирования 28.09.2006
СТ Спецификация и реализация радиус-сервера интернет-телефонии 2006 Шелехов В. И., Демаков И. В. ИСИ СО РАН Методы предикатного программирования 28.09.2006
СТ Язык спецификации процессов 2006 Шелехов В. И. ИСИ СО РАН Методы предикатного программирования 27.09.2006
СТ Иллюстрация процессорной спецификации на примере программы гадания на кофейных зернах 2006 Шелехов В. И. ИСИ СО РАН Методы предикатного программирования 27.09.2006
СТ Система измерения сме ений и деформаций смежных конструкций 2006 Каличкин С. В., Шелехов В. И. ИСИ СО РАН Методы предикатного программирования 27.09.2006
СТ Спецификация, верификация и реализация протокола передачи данных с авариями и отключениями 2006 Шелехов В. И., Каличкин С. В. ИСИ СО РАН Методы предикатного программирования 27.09.2006
П Разработка программы построения дерева суффиксов в технологии предикатного программирования 2004 Шелехов В. И. СО РАН, ИСИ СО РАН 13.08.2004
СТ Трансформация предикатной программы сортировки слиянием в эффективную параллельную программу 2003 Шелехов В. И. Сборник научных работ "Методы предикатного программирования" 02.03.2004
СТ Предикатное программирование: основы, язык, технология 2003 Шелехов В. И. Сборник научных работ "Методы предикатного программирования" 01.03.2004
СТ Демонстрация технологии предикатного программирования на задаче сортировки простыми вставками 2003 Шелехов В. И., Карнаухов Н. С. Сборник научных работ "Методы предикатного программирования" 01.03.2004
СТ Опыт предикатного программирования задачи нахождения кратчайшего пути между двумя городами 2003 Шелехов В. И., Алгазин А. А. Сборник научных работ "Методы предикатного программирования" 01.03.2004
СТ Трансформация предикатной программы сортировки слиянием в эффективную параллельную программу 2003 Шелехов В. И. Сборник научных работ "Методы предикатного программирования" 01.03.2004
П Язык предикатного программирования P 2002 Шелехов В. И. ИСИ СО РАН HARD n SOFT 11.01.2003
П Язык предикатного программирования P 2002 Шелехов В. И. ИСИ СО РАН HARD n SOFT 10.01.2003
П Введение в предикатое программирование 2002 Шелехов В. И. ИСИ СО РАН 28.09.2002
СТ Статический анализатор семантических ошибок периода исполнения 1998 Куксенко С. В., Шелехов В. И. Программирование 05.03.1999
СТ Статический анализатор семантических ошибок периода исполнения 1998 Куксенко С. В., Шелехов В. И. Программирование 04.03.1999
СТ Статический анализатор семантических ошибок периода исполнения 1998 Куксенко С. В., Шелехов В. И. ИНПРИМ-98 27.06.1998
СТ Статический анализатор семантических ошибок периода исполнения 1998 Куксенко С. В., Шелехов В. И. ИНПРИМ-98 26.06.1998
СТ Структура программы в языково-ориентированном потоковом анализе 1996 Шелехов В. И. Программирование 31.07.1996
СТ Структура программы в языково-ориентированном потоковом анализе 1996 Шелехов В. И. Программирование 30.07.1996
СТ СОКРАТ: окружение надежного и эффективного программирования 1996 Захаров Л. А., Касьянов В. Н., Кузьминов Т. В., Покровский С. Б., Поттосин И. В., Сабельфельд В. К., Степанов Г. Г., Шелехов В. И. Актуальные проблемы информатики, прикладной математики и механики. Часть III. Информатика. Сб. научных трудов 31.05.1996
СТ Инвариант языка программирования 1995 Шелехов В. И. Средства и инструменты окружений программирования 20.12.1995
СТ Объектный анализ программ 1994 Куксенко С. В., Томе О. Б., Шелехов В. И. Инструменты и методы разработки программ 10.05.1995
П Внутреннее представление программ в системе Сократ 1993 Шелехов В. И. ИСИ СО РАН 01.04.1994
СТ Нахождение заместителей объектных переменных 1992 Шелехов В. И. Среда программирования: методы и инструменты 24.09.1993
СТ Граф как тип данных 1992 Шелехов В. И. Среда программирования: методы и инструменты 24.09.1993
СТ Формализация семантики исполнения языка Модула-2 1991 Шелехов В. И. Методы теоретического и системного программирования 28.10.1992
СТ Формализация семантики исполнения языка Модула-2 1991 Шелехов В. И. Методы теоретического и системного программирования 27.10.1992

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ Методы предикатного программирования: выпуск 2 2006
  1. Шелехов В. И.
ИСИ СО РАН 28.09.2006
СБ Методы предикатного программирования: Сборник научных работ 2003
  1. Шелехов В. И.
ИСИ СО РАН 02.03.2004