News
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

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