SYRCoSE is a colloquium on software engineering targeted at young researchers (students, postgraduates, young PhD specialists, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops. All works are reviewed by the committee. The working language of the colloquium is English.
The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves.
The workshop provides an opportunity to share experience and to establish collaboration between different projects in the domain.
The seminar is devoted to modern problems of software engineering, tools and methods of developing, program analysis and verification.
On the conference OS Day Russian IT specialists present the domestic development of the system and software tools, discuss the possibility of the joint development of Russian software products, problems of import substitution in software.