External Links

    Journal: Programming and Computer Software

    Volume 48, Issue 8

    485 -- 488Andrei Tchernykh, Reyes Juárez-Ramírez, Teresa Guarda, Filipe Portela. GUEST EDITORIAL Special Issue on Recent Trends in Advanced Computing, Engineering and Technology: Transformation and Innovation
    489 -- 498Raúl A. Aguilar, A. Peña, J. Díaz, Juan P. Ucán. Influence of Belbin's Role Theory on Database Design: Experimenting with Software Engineering Students
    499 -- 512Jorge Rafael Aguilar Cisneros, Ricardo Valerdi, B. P. Sullivan. Students' Systems Thinking Competency Level Detection through Software Cost Estimation Concept Modeling
    513 -- 533S. Almeyda, A. Dávila. Process Improvement in Software Requirements Engineering: A Systematic Mapping Study
    534 -- 551V. Contreras, Luis G. Montané-Jiménez, Teresa Cepero, Edgard Benítez-Guerrero, Carmen Mezura-Godoy. Building Adaptable Dashboards for Smart Cities: Design and Evaluation
    552 -- 565Samantha Jiménez, Reyes Juárez-Ramírez, Alan Ramírez-Noriega, Fernanda Murillo-Munoz, Ana I. Molina, Víctor H. Castillo, Christian Xavier Navarro Cota. A Usability and Persuasion Evaluation of Mobile Apps for Diabetes Type 2
    566 -- 582René Dávila, Rocío Aldeco-Pérez, Everardo Bárcenas. Formal Verification of Blockchain Based Tender Systems
    583 -- 597H. Del-Ángel-Flores, Eduardo López Domínguez, Yesenia Hernández Velázquez, Saúl Domínguez-Isidro, María Auxilio Medina Nieto, Jorge de la Calleja Mora. Usability Evaluation of a Mobile Learning Platform Focused on Learning Monitoring and Customization based on a Laboratory Study
    598 -- 605A. Gladkov, Viktor Andreevich Kuchukov, Mikhail G. Babenko, Andrei Tchernykh, Viktor Berezhnoy, Alexander Yu. Drozdov. Modified Error Detection and Localization in the Residue Number System
    606 -- 613Samantha Jiménez, Jesús Favela, Angeles Quezada, Raj Ramachandran, Reyes Juárez-Ramírez. Towards Conversational Agents to support Informal Caregivers of People with Dementia: Challenges and Opportunities
    614 -- 631Reyes Juárez-Ramírez, Christian X. Navarro, Guillermo Licea, Samantha Jiménez, Verónica Tapia-Ibarra, César Guerra-García, Héctor G. Pérez-González. How COVID-19 Pandemic affects Software Developers' Wellbeing, and the Necessity to strengthen Soft Skills
    632 -- 645V. M. Niño-Martínez, Jorge Octavio Ocharán-Hernández, X. Limón, Juan Carlos Pérez Arriaga. A Microservice Deployment Guide
    646 -- 657Yoselyn Nohemí Ortega-Gijón, Carmen Mezura-Godoy. Usability Evaluation of BCI Software Applications: A systematic review of the literature
    658 -- 684B. Pando, A. Dávila. Software Testing in the DevOps Context: A Systematic Mapping Study
    685 -- 701P. O. Silva-Vásquez, V. Y. Rosales-Morales, E. Benítez-Guerrero. Automatic Code Generation of User-centered Serious Games: A Decade in Review
    702 -- 715Claudia Tona, Samantha Jiménez, Reyes Juárez-Ramírez, Rafael González Pacheco López, Ángeles Quezada, César Guerra-García. Scrumlity: An Agile Framework Based on Quality of User Stories
    716 -- 734Francisco Valdés Souto, Lizbeth Naranjo-Albarrán. Software Project Estimation Using Smooth Curve Methods and Variable Selection and Regularization Methods as an Alternative to Linear Regression Models when the Reference Database Presents a Wedge-shape Form
    735 -- 744Maria V. Valueva, Georgii V. Valuev, Mikhail G. Babenko, Andrei Tchernykh, Jorge M. Cortés-Mendoza. Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System
    745 -- 755L. Vives, K. Melendez, Abraham Dávila. ISO/IEC 29110 and Software Engineering Education: A Systematic Mapping Study
    756 -- 769D. V. Larin, A. I. Getman. Tools for Capturing and Processing High-Speed Network Traffic
    770 -- 780R. F. Sadykov, Mikhail U. Mandrykin. Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic
    781 -- 787Evgenii M. Vinarskii, Alexey V. Demakov. Optimization of ProVerif Programs for AKE Protocols

    Volume 48, Issue 7

    413 -- 423A. I. Getman, M. K. Ikonnikova. A Survey of Network Traffic Classification Methods Using Machine Learning
    424 -- 434S. A. Martishin, M. V. Khrapchenko, Alexander V. Shokurov. Study of the Problem of Ensuring Security in Storage and Processing of Confidential Data
    435 -- 444Ye. M. Yeshilbashian, Ariana A. Asatryan, Tsolak Ghukasyan. Plagiarism Detection in Armenian Texts Using Intrinsic Stylometric Analysis
    445 -- 454Roman V. Baev, Leonid V. Skvortsov, Evgeny A. Kudryashov, Ruben Buchatskiy, Roman Zhuykov. Preventing Vulnerabilities Caused by Optimization of Code with Undefined Behavior
    455 -- 468Vitaly A. Semenov, S. V. Arishin, Georgii V. Semenov. Formal Rules to Produce Object Notation for EXPRESS Schema-Driven Data
    469 -- 483A. A. Evgin, M. A. Solovev, Vartan A. Padaryan. A Model and Declarative Language for Specifying Binary Data Formats

    Volume 48, Issue 6

    359 -- 368V. V. Belikov. Using Deep Reinforcement Learning for Selecting Network Traffic Features in Intrusion Detection Systems
    369 -- 375Alexander N. Godunov. Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic
    376 -- 384Nikolay A. Vershkov, Mikhail G. Babenko, Andrei Tchernykh, Viktor Andreevich Kuchukov, Nikolay Nikolaevich Kucherov, Nataliya Nikolaevna Kuchukova, Alexander Yu. Drozdov. Optimization of Artificial Neural Networks using Wavelet Transforms
    385 -- 398Elena A. Kochegurova, Roman P. Zateev. Hidden Monitoring Based on Keystroke Dynamics in Online Examination System
    399 -- 406Valery A. Kostenko, A. A. Morkvin. Construction of a Minimum Complexity Onboard Switched Network with Time Synchronization
    407 -- 411Olga Kulikova, G. S. Dombayan. An Image Hashing Algorithm Based on a Convolutional Neural Network

    Volume 48, Issue 5

    301 -- 311V. A. Bobkov, A. P. Kudryashov, A. V. Inzartsev. Object Recognition and Coordinate Referencing of an Autonomous Underwater Vehicle to Objects via Video Stream
    312 -- 321H. Chen, Sviatlana Ihnatsyeva, Rykhard Bohush, Sergey Ablameyko. Choice of Activation Function in Convolutional Neural Networks for Person Re-Identification in Video Surveillance Systems
    322 -- 330Sergei I. Vyatkin, Boris S. Dolgovesov. Highly Realistic Visualization of Caustics and Rough Surfaces
    331 -- 346Dmitry A. Kondratyev, Valery A. Nepomniaschy. Automation of C Program Deductive Verification without Using Loop Invariants
    347 -- 358Alexei A. Ivankov, G. A. Manuilov. Data Repository in Framework for Computation Pipelining: Model, Architecture, the Implementation Performance Estimates

    Volume 48, Issue 4

    235 -- 242Eduardo Pérez-Careta, Delia Irazú Hernández Farías, José Rafael Guzman-Sepulveda, Miguel Torres-Cisneros, Teodoro Cordoba-Fraga, Juan Carlos Martinez Espinoza, Rafael Guzmán-Cabrera. One-class Classification for Identifying COVID-19 in X-Ray Images
    243 -- 255Iulii Vasilev, Mikhail Petrovskiy, Igor V. Mashechkin, Liudmila L. Pankratyeva. Predicting COVID-19-Induced Lung Damage Based on Machine Learning Methods
    256 -- 264V. P. Kozyrev. Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C
    265 -- 285A. A. Timakov. Information Flow Control in Software DB Units Based on Formal Verification
    286 -- 292Marina S. Apanovich, Alexander P. Lyapin, Konstantin V. Shadrin. Algorithm for Solving the Cauchy Problem for a Two-Dimensional Difference Equation with Initial Data Defined in a "Strip"
    293 -- 300Vladimir V. Kornyak. Decomposition of a Finite Quantum System into Subsystems: Symbolic-Numerical Approach

    Volume 48, Issue 3

    147 -- 154B. Kh. Barladian, Lev Z. Shapiro, N. B. Deryabin, Yu. A. Solodelov, Alexey G. Voloboy, Vladimir A. Galaktionov. Efficient Rendering for the Cockpit Display System Designed in Compliance with the ARINC 661 Standard
    155 -- 163Timur Z. Mamedov, Denis Kuplyakov, A. S. Konushin. Video Analytics Using Detection on Sparse Frames
    164 -- 171A. A. Getmanskaya, Nikolai A. Sokolov, V. E. Turlapov. Multiclass U-Net Segmentation of Brain Electron Microscopy Data Using Original and Semi-Synthetic Training Datasets
    172 -- 180Egor A. Komarov, Dmitry D. Zhdanov, Andrey D. Zhdanov. Caustic Illuminance Calculation with DirectX Raytracing
    181 -- 189Anton V. Nikolaev, Vladimir A. Frolov, Irina G. Ryzhova. 3D Model Compression with Support of Parallel Processing on the GPU
    190 -- 198Petr Yu. Timokhin, Mikhail V. Mikhaylyuk. Real-time Modeling of Dynamic Terrain Shadows based on Multilevel Ray Casting
    199 -- 207Andrey O. Trubakov, Nikita V. Medvedkov. Image Restoration Using Genetic Algorithms
    208 -- 214S. I. Chuprina, K. V. Ryabinin, Dmitrij V. Koznov, Konstantin A. Matkin. Ontology-Driven Visual Analytics Software Development
    215 -- 226M. Forghani, P. A. Vasev, M. A. Bolkov, E. S. Ramsay, A. Y. Bersenev. PhyloTraVis: A New Approach to Visualization of the Phylogenetic Tree
    227 -- 233I. O. Reznichenko, P. A. Krutitskii. Quadrature Formula for the Direct Value of the Double-Layer Potential

    Volume 48, Issue 2

    65 -- 72Alexander B. Batkhin. Symbolic Computation of a Homological Equation of an Arbitrary Order and Reduction of Hamiltonian System to Its Normal Form
    73 -- 79Sergey A. Gutnik, Vasily A. Sarychev. Symbolic Methods for Studying the Equilibrium Orientations of a System of Two Connected Bodies in a Circular Orbit
    80 -- 89Dmitry V. Divakov, Anastasiya A. Tyutyunnik. Symbolic Investigation of the Spectral Characteristics of Guided Modes in Smoothly Irregular Waveguides
    90 -- 101Gennadi I. Malaschonok, Alla A. Sidko. Supercomputer Environment for Recursive Matrix Algorithms
    102 -- 106Daria Loziienko, Vladimir N. Salnikov, Aziz Hamdouni. Construction of Pseudo-Geometric Integrators
    107 -- 115Alexander N. Prokopenya, Mukhtar Zh. Minglibayev, Aiken B. Kosherbaeva. Derivation of Evolutionary Equations in the Many-Body Problem with Isotropically Varying Masses Using Computer Algebra
    116 -- 124Sergei A. Abramov, Anna A. Ryabenko, Denis E. Khmelnov. Exhaustive Use of Information on an Equation with Truncated Coefficients
    125 -- 146Bertrand Teguia Tabuguia, Wolfram Koepf. Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series

    Volume 48, Issue 1

    1 -- 18Sergei D. Meshveliani. A Certified Program for the Karatsuba Method to Multiply Polynomials
    19 -- 29Alexander D. Bruno, Alexander B. Batkhin. Level Lines of a Polynomial on a Plane
    30 -- 35V. I. Anoshin, A. D. Beketova, A. V. Parusnikova, K. V. Romanov. Asymptotic Expansions of Solutions to the Second Term of the Fourth Painlevé Hierarchy
    36 -- 48A. V. Galatenko, A. E. Pankratiev, Vladimir Staroverov. Algorithms for Checking Some Properties of n-Quasigroups
    49 -- 58Migran N. Gevorkyan, Anastasiya V. Demidova, Tatiana R. Velieva, Anna V. Korolkova, Dmitry S. Kulyabov. Analytical-Numerical Implementation of Polyvector Algebra in Julia
    59 -- 64Vyacheslav I. Kuzovatov, Alexey A. Kytmanov, Evgeniya K. Myshkina. On Computing the Resultant of a Polynomial and an Entire Function
    runs on