Документ взят из кэша поисковой машины. Адрес оригинального документа : http://srcc.msu.ru/nivc/about/inf/rsi.html
Дата изменения: Thu Jun 5 15:15:02 2008
Дата индексирования: Mon Oct 1 19:50:10 2012
Кодировка: Windows-1251
Рыбин Сергей Игоревич
Рыбин Сергей Игоревич
Старший научный сотрудник (1993г.), кандидат физ.-мат. наук (1987г.)
Кандидатская диссертация
  • "Методика тестирования диагностики нарушений контекстных условий в стандартизованных трансляторах"" (1987г.)
Область научных исследований
  • стандартизация языков программирования и информационных технологий
  • контроль соответствия языковах процессоров стандартам на языки программирования
  • тестирование программного обеспечения
  • язык программирования Ада и основанные на нем технологии разработки больших программных систем с повышенными требованиями к надежности
  • интерфейс ASIS: реализация и разработка на основе ASIS инструментов поддержки жизненного цикла Ада-программ
Краткая характеристика научных результатов
  • участие в разработке отечественной концепции стандартизации языков программирования и контроля языковых процессоров
  • методика и комплект тестов для контроля диагностики Ада-трансляторов
  • участие в разработке международного стандарта языка Ada 95 и интерфейса ASIS
  • реализация интерфейса ASIS для компилятора языка Ада 95 GNAT
  • разработка программного инструментария на основе интерфейса ASIS
Педагогическая деятельность
факультет ВМиК МГУ:
  • руководство спецсеминаром "Языки программирования"
  • руководство курсовыми и дипломными работами студентов старших курсов
  • руководство аспирантами
  • спецкурсы по стандартизации языков программирования и тестированию трансляторов, по языку Ада и ASIS-технологии
  • участие в разработке базового курса по языкам программирования для студентов третьего курса, чтение лекций по данному курсу в 1990-1994 годах
Высшая Компьютерная Школа при НИВЦ:
  • чтение лекций по современным объектно-ориентированным технологиям
Публикации
автор более 30 научных публикаций:
  • A.Strohmeier, V.Fofanov, S.Rybin, S.Barbey: Quality-for-ASIS: A Portable Testing Facility for ASIS. In Lars Asplund (Ed.) 1998, Ada-Europe International Conference on Reliable Software Technologies Proceedings, LNCS no 1411, Springer, pp.163-175. 1998
  • V.Fofanov, S.Rybin, A.Strohmeier: ASIStint: An Interactive ASIS Interpreter, in Susan Carlson (Ed.), Proceedings of TRI-Ada'97, St.Lous, USA, ACM Press, 1997, pp.205-209
  • S.Rybin, A.Strohmeier, Ada and ASIS: Justification of Differences In Terminology and Mechanisms , in Susan Carlson (Ed.), Proceedings of TRI-Ada'96, Philadelphia, USA, ACM Press, 1996, pp.249-254
  • S.Rybin, A.Strohmeier, A.Kuchumov, V.Fofanov: ASIS-for-GNAT: From the prototype to the Full Implementation. In Alfred Strohmeier (Ed.) 1996, Ada-Europe International Conference on Reliable Software Technologies Proceedings, LNCS no 1088, Springer, pp.298-311, 1996
  • S.Rybin, A.Strohmeier, E.Zueff: ASIS for GNAT: Goals, Problems and Implementation Strategy. In Marcel Toussaint (Ed.) SECOND International Eurospace - Ada-Europe Symposium Proceedings, Frankfurt, Germany, October 2-6 1995 LNCS no 1031, Springer, pp.139-151, 1995
939-2022
rybin@alex.srcc.msu.ru
         rybin@possum.srcc.msu.ru
         rybin@gnat.com