|
Предисловие
А. С. Камкин, А. К. Петренко, А. Н. Терехов
|
7 |
|
|
FRIS language service for extended Fortran support in Microsoft Visual Studio
I. S. Ratkevich
|
9 |
|
|
Pitfalls of C# generics and their solution using concepts
Julia Belyakova, Stanislav Mikhalkovich
|
29 |
|
|
Visual parallel programming as PaaS cloud service with graph-symbolic programming technology
Darya Egorova, Victor Zhidchenko
|
47 |
|
|
Seamless development applicability: an experiment
Alexandr Naumchev
|
57 |
|
|
Intelligent design of class structure model based on ontological data analysis
A. N. Kovartsev, V. S. Smirnov, S. V. Smirnov
|
73 |
|
|
Procedures classification for optimizing strategy assignment
O. A. Chetverina
|
87 |
|
|
Unified model for testing object-oriented application development tools
Pavel P. Oleynik
|
101 |
|
|
Method of symbolic test scenarios automated concretization
Nikita V. Voinov, Pavel D. Drobintsev, Igor V. Nikiforov, Vsevolod P. Kotlyarov, Alexander V. Kolchin
|
115 |
|
|
An approach to test program generation based on formal specifications of caching and address translation mechanisms
A. Kamkin, A. Protsenko, A. Tatarnikov
|
125 |
|
|
An approach to direct memory access module verification
V. Kutsevol, A. Meshkov, M. Ryzhov, P. Frolov
|
139 |
|
|
A model-based approach to design test oracles for memory subsystems of multicore microprocessors
Alexander Kamkin, Mikhail Petrochenkov
|
149 |
|
|
An extended finite state machine-based approach to code coverage-directed test generation for hardware designs
I. Melnichenko, A. Kamkin, S. Smolov
|
161 |
|
|
On the implementation of a formal method for verification of scalable cache coherent systems
Vladimir Burenkov
|
183 |
|
|
The application of coloured Petri nets to verification of distributed systems specified by message sequence charts
S. A. Chernenok, V. A. Nepomniaschy
|
197 |
|
|
Carassius: a simple process model editor
N. Nikitina, A. Mitsyuk
|
219 |
|
|
Iskra: a tool for process model repair
I. Shugurov, A. Mitsyuk
|
237 |
|
|
Comparing process models in the BPMN 2.0 XML format
Sergey Ivanov, Anna Kalenkova
|
255 |
|
|
Remote service of system calls in microkernel hypervisor
Kurbanmagomed Mallachiev, Nikolay Pakulin
|
267 |
|
|
Constructing private service with CRYP2CHAT application
Andrey Kiryantsev, Irina Stefanova
|
279 |
|
|
Combined classifier for website messages filtration
Veniamin Tarasov, Еkaterina Mezenceva, Danila Karbaev
|
291 |
|
|
Statistical data handling program of wireshark analyzer and incoming traffic research
Veniamin Tarasov, Sergey Malakhov
|
303 |
|
|
Effective use of resources distributed cloud computing platform for providing quality multimedia services
Irina Bolodurina, Denis Parfenov
|
315 |
|
|
Searching method of personal details on the basis of fuzzy comparison
Nataliia Limanova, Maxim Sedov
|
329 |
|
|
Effective interaction with the DIM DBMS
D. V. Antonov, V. S. Roublev
|
343 |
|
|
A crowdsourcing engine for mechanized labor
D. A. Ustalov
|
351 |
|
|
Software tools for organization and support of distance learning game system «3Ducation»
L. S. Zelenko, D. A. Konopelkin, V. S. Ivanov, A. O. Grigoriev, A. E. Semenov, M. A. Savachaev, E. E. Poberezkin
|
365 |
|
|
Acceleration of profile creation for three-dimensional vector video with GPGPU
A. Tsyganov
|
379 |
|
|
Two-step harmonious melody generator
Sofya Latkina
|
389 |
