• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Книга

SYCRoSE. Proceeding of the Spring/Summer Young Researcher’s Colloquium on Software Engineering

2011.

Сборник содержит статьи, представленные на 5-ом весеннем/летнем коллоквиуме молодых исследователей в области рограммной инженерии, проводимом в Екатеринбурге 12-13 мая 2011 г. Отбор статей производился на основе  рецензирования материалов программным комитетом. На коллоквиум допускались как полные статьи, так и краткие сообщения, описывающие текущие исследования. Программа коллоквиума охватывает следующие темы: системное программирование; статическая верификация и анализ программ; языки, методы и инструменты программирования; тестирование программных и аппаратных систем; теория автоматов; компьютерная графика и другие.

Главы книги
SYCRoSE. Proceeding of the Spring/Summer Young Researcher’s Colloquium on Software Engineering