Proceedings of ISP RAS

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)

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