Старолетов Сергей Михайлович

Sergey Michailovich Staroletov
Старолетов Сергей Михайлович
Россия, Барнаул
Степень
Область научных интересов
Место работы и должность
  • Алтайский государственный технический университет — доцент
Адрес электронной почты
Список статей в журнале СИ:
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // Системная информатика. — . — № 10.  — С. 33-44
Старолетов С.М. Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // Системная информатика. — . — № 15.  — С. 13-44
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // Системная информатика. — . — № 21.  — С. 1-28
Гаранина Н.О. Старолетов С.М. Зюбин В.Е. Ануреев И.С. Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 // Системная информатика. — . — № 22.  — С. 21-30