Proceedings of ISP RAS

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

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