Proceedings of ISP RAS

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

Proceedings of the Institute for System Programming. Volume 28, issue 2, 2016, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Edited by Academician V.P. Ivannikov

Download full volume
PDF

PDF

Table of Contents

Julia Belyakova Language Support for Generic Programming in Object-Oriented Languages: Design Challenges pp. 5-32.

Alexander Tchitchigin, Larisa Safina, Mohamed Elwakil, Manuel Mazzara, Fabrizio Montesi, Victor Rivera Refinement Types in Jolie pp. 33-44.

G.A. Zimin, D.A. Mordvinov Visual Dataflow Language for Educational Robots Programming pp. 45-62.

M.S. Malevannyy, S.S. Mikhalkovich Context-Based Model for Concern Markup of a Source Code pp. 63-78.

A.S. Yugov Approach to Anti-pattern detection in Service-oriented Software Systems pp. 79-96.

A. Gudoshnikova, Y. Litvinov Technology for application family creation based on domain analysis pp. 97-110.

Mansur Khazeev, Victor Rivera, Manuel Mazzara, Alexander Tchitchigin Usability of AutoProof: a case study of software verification pp. 111-126.

M.I. Polubelova, S.N. Bozhko, S.V. Grigorev Certified Grammar Transformation to Chomsky Normal Form in F* pp. 127-138.

C. Thule, P.G. Larsen Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS pp. 139-156.

A.M. Troitskiy, D.V. Buzdalov A static approach to estimation of execution time of components in AADL models pp. 157-172.

I.V. Koverninskiy, A.V. Kan, V.B. Volkov, Yu. S. Popov, N.K. Gorelits Practical experience of software and system engineering approaches in requirements management for software development in aviation industry pp. 173-180.

K.M. Mallachiev, N.V. Pakulin, A.V. Khoroshilov Design and architecture of real-time operating system pp. 181-192.

A.N. Emelenko, K.A. Mallachiev, N.V. Pakulin Developing a Debugger for Real-Time Operating System pp. 193-204.

Gossen F., Margaria T., Göke T Modelling the People Recognition Pipeline in Access Control Systems pp. 205-220.

D.V. Puzyrkov, V.O. Podryga, S.V. Polyakov Parallel processing and visualization for results of molecular simulation problems pp. 221-242.

D.D. Kozhevnikov, N.V. Krasilich Memristor-based Hardware Neural Networks Modelling Review and Framework Concept pp. 243-258.

I. Chucklyaev Composition model and method of creation of functionally-oriented information resources pp. 259-270.

Back to the list of all volumes