2 т.28, 2016 - Труды Института системного программирования РАН
Бесплатный доступ
ID: 14915787 Короткий адрес: https://sciup.org/14915787
Содержание выпуска 2 т.28, 2016 Труды Института системного программирования РАН
Belyakova Julia
Language support for generic programming in object-oriented languages: design challenges
5
Tchitchigin Alexander, Safina Larisa, Elwakil Mohamed, Mazzara Manuel, Montesi Fabrizio, Rivera Victor
Refinement types in Jolie
33
Gudoshnikova A.A., Litvinov Y.V.
Technology for application family creation based on domain analysis
97
Khazeev Mansur, Rivera Victor, Mazzara Manuel, Tchitchigin Alexander
Usability of AutoProof: a case study of software verification
111
Polubelova M.I., Bozhko S.N., Grigorev S.V.
Certified grammar transformation to Chomsky normal form in F
127
Thule C., Larsen P.G.
Investigating concurrency in the co-simulation orchestration engine for Into-CPS
139
Troitskiy A.M., Buzdalov D.V.
A static approach to estimation of execution time of components in AADL models
157
Koverninskiy I.V., Kan A.V., Volkov V.B., Popov Yu. S., Gorelits N.K.
Practical experience of software and system engineering approaches in requirements management for software development in aviation industry
173
Mallachiev K.M., Pakulin N.V., Khoroshilov A.V.
Design and architecture of real-time operating system
181
Emelenko A.N., Mallachiev K.A., Pakulin N.V.
Developing a debugger for real-time operating system
193
Gossen F., Margaria T., Gke T.
Modelling the people recognition pipeline in access control systems
205
Puzyrkov D.V., Podryga V.O., Polyakov S.V.
Parallel processing and visualization for results of molecular simulation problems
221
Kozhevnikov D.D., Krasilich N.V.
Memristor-based hardware neural networks modelling review and framework concept
243
Выпуск журнала
