29.09.2007: Центр верификации на SofTool 2007 и SITOP 2007

Новости

Центр верификации ОС Linux приглашает всех заинтересованых лиц посетить наш стенд на выставке SofTool 2007, 2-5 октября 2007 г. Наш стенд расположен в рамках объединенной экспозиции Российской Академии Наук.

Кроме того, 3 октября 2007 г. мы приглашаем на доклады представителей Центра в рамках Первой международной конференции по стандартизации информационных технологий и интероперабельности SITOP 2007.

  • "Стандарт Linux Standard Base (LSB): единая платформа разработки приложений для Linux". Рубанов Владимир, руководитель проекта.
  • "Формальное описание интерфейсов как средство улучшения интероперабельности". Хорошилов Алексей, ведущий архитектор.