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

Книга

Preliminary Proceedings of the 10th Spring /Summer Young Researchers’ Colloquium on Software Engineering

2016.
Под общей редакцией: A. S. Kamkin, A. K. Petrenko, A. N. Terekhov.

The issue contains papers accepted for presentation at the 10th Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE 2016) held in Krasnovidovo, Mozhaysky District, Moscow Oblast, Russia on May 30-June 1, 2016. The paper selection was based on originality and contributions to the field. Each paper was peer-reviewed by at least three referees.

The colloquium’s topics include programming languages, software development tools, embedded and cyber-physical systems, software and hardware verification, formal methods, information security, and others.

Preliminary Proceedings of the 10th Spring /Summer Young Researchers’ Colloquium on Software Engineering