Кулямин В.В.

Кандидат физико-математических наук, старший научный сотрудник Института системного программирования РАН. Сфера его интересов — программная инженерия в целом, использование формальных моделей при промышленной разработке программ и контроле их качества, тестирование на основе моделей, а также неформализуемые аспекты разработки программного обеспечения. Автор и соавтор около 30 работ. Читает ряд спецкурсов на факультете ВМиК МГУ им. М.В. Ломоносова.

Библиография книг автора

Девянин П.Н. Ефремов Д.Н. Кулямин В.В. Петренко А.В. Хорошилов А.В. Щепетков И. Моделирование и верификация политик безопасности управления доступом в операционных системах Описан процесс разработки и верификации формальных моделей безопасности управления доступом в операционных системах и реализующих их программных компонентов на примере отечественной защищенной операционной системы специального назначения Astra Linux Special Edition....

Нет в наличии

Кулямин В.В. Технологии программирования. Компонентный подход Курс посвящен технологическим проблемам разработки крупномасштабных программных систем и методам решения этих проблем. В нем рассказывается о современных способах организации разработки таких систем на основе компонентных технологий на примере Web-приложений с использованием технологий Java и .NET, a также дается введение в эти технологии....

716 руб.

Кулямин В.В. Технологии программирования. Компонентный подход Курс посвящен технологическим проблемам разработки крупномасштабных программных систем и методам решения этих проблем. В нем рассказывается о современных способах организации разработки таких систем на основе компонентных технологий на примере Web-приложений с использованием технологий Java и .NET, a также дается введение в эти технологии....

70 руб.