• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book

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

2016.
Under the general editorship: 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