Шелехов Владимир Иванович

Шелехов ВладимирИванович
Россия, Новосибирск
Степень
Область научных интересов
Место работы и должность
  • Институт систем информатики им. А.П. Ершова СО РАН — заведующий лабораторией
  • Новосибирский государственный университет — преподаватель
Адрес электронной почты
Список статей в журнале СИ:
Шелехов В.И. Списки и строки в предикатном программировании // Системная информатика. — . — № 3.  — С. 25-43
Шелехов В.И. Разработка автоматных программ на базе определения требований // Системная информатика. — . — № 4.  — С. 1-29
Тумуров Э.Г. Шелехов В.И. Требования к системе управления квадрокоптером // Системная информатика. — . — № 5.  — С. 39-54
Шелехов В.И. Предикатная программа вставки в АВЛ-дерево // Системная информатика. — . — № 9.  — С. 23-42
Булгаков К.В. Каблуков И.В. Тумуров Э.Г. Шелехов В.И. Оптимизирующие трансформации списков и деревьев в системе предикатного программирования // Системная информатика. — . — № 9.  — С. 63-92
Каблуков И.В. Шелехов В.И. Реализация оптимизирующих трансформаций в системе предикатного программирования // Системная информатика. — . — № 11.  — С. 21-48
Каблуков И.В. Шелехов В.И. Разработка параллельной предикатной программы решения системы линейных уравнений методом Гаусса-Жордано // Системная информатика. — . — № 12.  — С. 41-60
Шелехов В.И. Дедуктивная верификация и оптимизация предикатной программы конкатенации строк // Системная информатика. — . — № 12.  — С. 61-84
Шелехов В.И. Верификация предикатной программы бинарного поиска объекта произвольного типа // Системная информатика. — . — № 15.  — С. 45-64
Шелехов В.И. Верификация предикатной программы пирамидальной сортировки с применением обратных трансформаций // Системная информатика. — . — № 16.  — С. 75-102
Тумуров Э.Г. Шелехов В.И. Трансформация, спецификация и верификация программы вычисления числа элементов множества, представленного в виде битовой шкалы // Системная информатика. — . — № 16.  — С. 103-136
Шелехов В.И. Верификация программы преобразования строки в целое число // Системная информатика. — . — № 17.  — С. 43-90
Шелехов В.И. Трансформация и верификация программы сортировки прикрепленных к шине устройств // Системная информатика. — . — № 18.  — С. 1-34
Шелехов В.И. Сравнение технологий автоматного программирования и Event-B // Системная информатика. — . — № 18.  — С. 53-84