brand

Software Engineering


News

30 May, 2017 The future of Russian operating platforms has been discussed at the conference hosted by RAS
15 May, 2017 ISP RAS will take part in the Tizen-developers conference TDC 2017 in San Francisco on 16-17 May
04 May, 2017 Scientific cooperation of ISP RAS with University of the Republic (Uruguay)

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-2017 Ivannikov Institute for System Programming of the RAS
Address: 109004, Moscow, Alexander Solzhenitsyn st., 25.