Ivannikov Institute for System Programming of the RAS


Seminar on software engineering “Software Development & Analysis Technologies”

The seminar is devoted to modern problems of software engineering, tools and methods of developing, program analysis and verification. Topics discussed in the seminar include:

  • Requirements engineering, analysis and modeling;
  • Paradigms for computers modeling;
  • System engineering;
  • Software architecture;
  • Static and dynamic program analysis;
  • Dynamic verification and monitoring;
  • Automatic test case generation;
  • Verification completeness analysis;
  • Performance modeling, measuring and testing;
  • Security and safety analysis;
  • Integration of verification methods;
  • Problems of propagation of new technologies to software engineering practices;
  • Problems of teaching software development and analysis;

The seminar is intended to students, researchers, engineers, industrial experts. The most important companies claim to take part in the seminar, including Intel, Microsoft, Яндекс, i.e.

Seminar site - SDAT

Event Group

Software Engineering

Back to the list of events of ISP RAS