Институт системного программирования им. В.П. Иванникова РАН


Согласование конформности и композиции.

Авторы

Бурдонов И.Б., Косачев А.С.

Ключевые слова

ядро операционной системы, модуль ядра, качество программной системы, статическая верификация, контрактная спецификация, модель окружения, спецификация правила корректного использования программного интерфейса

Издание

Программирование. № 6.

Научная группа

Технологии программирования

Все публикации за 2013 год Все публикации