• 19 января 2016
  • Иннополис, Universitetslaya str.1

AKSES: DSL-based binding of requirements, code and verification. Mbeddr example.

Регистрация на событие закрыта

Извините, регистрация закрыта. Возможно, на событие уже зарегистрировалось слишком много человек, либо истек срок регистрации. Подробности Вы можете узнать у организаторов события.

Другие события организатора

556 дней назад
19 января 2016 c 17:00 до 18:00
Иннополис
Universitetslaya str.1

On a sample project we will see how Mbeddr IDE implements requirements traceability, textual and graphical representations and formal verification on general ground of language-oriented development and extensible domain-specific languages.

On a sample project we will see how Mbeddr IDE implements requirements traceability, textual and graphical representations and formal verification on general ground of language-oriented development and extensible domain-specific languages.

Регистрация

Рекомендуемые события

Организуете события? Обратите внимание на TimePad!

Профессиональная билетная система, статистика продаж 24/7, выгрузка списков участников, встроенные инструменты продвижения, личный кабинет для самостоятельного управления и еще много чего интересного.

Узнать больше