Proceedings of ISP RAS

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

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