Software Engineering

News

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

14 March, 2019 IV ISP RAS Open Conference will take place in Moscow on 5-6 December 2019

30 December, 2018 Hironori Kasahara congratulated ISP RAS and IEEE Computer Society Russia with the 70th anniversary of IT

Education courses

Construction of the Operating System Kernel

Khoroshilov Alexey. Fall Semi-Annual Course.

Special Seminar “The Correctness of the Programs”

Dr. Alexander K. Petrenko, Ph.D. Alexey Khoroshilov, Ph.D. Victor Kulyamin . Fall Semi-Annual Course.

Open Systems and Organization of the Session Security

PhD. Nikolay Pakulin . Fall Semi-Annual Course.

Model-Based Testing

Kuliamin Victor. Spring Semi-Annual Course.

Software Development Technologies. Component-based Approach.

Kuliamin Victor. Fall Semi-Annual Course.

Formal Specification and Verification of Programs

Kornykhin Evgeni , Petrenko Alexander , Khoroshilov Alexey. Fall Semi-Annual Course.