БЕТЕЛИН
Владимир Борисович
Академик РАН,
директор НИИСИ РАН,доктор физико-математических наук, профессор
В.Б.Бетелин - известный специалист в области автоматизации
программирования, внес большой вклад в развитие теории и практики разработки
инструментальных систем программного обеспечения, систем интерактивной
машинной графики и геометрического моделирования, а также программных
систем машиностроительных САПР. Основные теоретические результаты
В.Б.Бетелина изложены в монографии "Системы автоматизации труда
программиста" и включают:
- концепцию создания информационных моделей программного и машиностроительного изделий, как процесса построения последовательности различных представлений этих моделей; выделены три основных уровня понятий, используемых в этом процессе , что позволило ввести естественную классификацию как систем автоматизации программирования, так и машиностроительных САПР;
- концептуальную модель программной системы, основанную не на текстовом представлении, а на ее семантических конструкциях;
- язык программирования и архитектуру интегрированной системы проектирования - редактирования - компиляции - выполнения программ на этом языке, базирующиеся на концептуальной модели.
В 1991-96гг. под его руководством проведен большой цикл исследований в области автоматизации программирования, связанный с разработкой методологии и технологии создания программно-аппаратных комплексов для решения задач в реальном времени, ориентированных на работу в жестких условиях эксплуатации. Создано и внедрено в серийное производство семейство современных специальных ЭВМ и средства автоматизации программирования для этих ЭВМ.
В.Б.Бетелин в течение многих лет преподавал на механико-математическом факультете МГУ. Он является автором целого ряда методических пособий для студентов. Под его руководством в 1975-88г.г. разработаны и внедрены в учебный процесс в МГУ учебные компиляторы с расширенной диагностикой, диалоговые средства доступа к пакетам прикладных программ и ряд других систем.
Под руководством В.Б.Бетелина защищено шесть кандидатских диссертаций. Он является автором множества научных трудов, в том числе двух монографий.
Научно-преподавательская деятельность | Персоналии | Вакансии