brand

Software Engineering


News

28 May, 2018 "OS DAY Reliability" conference has been held by ISP RAS jointly with leading IT companies
25 April, 2018 Khachkar on behalf of Academician Viktor Ivannikov is to be reared in Armenia
18 April, 2018 OS DAY 2018. Russian Operation Platforms: Reliability Above All

Education courses

Methods of test program generation for microprocessors

Kamkin Alexander, Tatarnikov Andrey. Fall Semi-Annual Course.

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.


Copyright © 1994-2018 Ivannikov Institute for System Programming of the RAS
Address: 109004, Moscow, Alexander Solzhenitsyn st., 25.