|
СТ |
Проектирование сертифицированного компилятора предикатных программ |
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 |
