Рыбин Сергей Игоревич
|
Старший научный сотрудник (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
|
|