Contents

Programming and Computer Software

Vol. 52, No. 4, 2026

Improving the Recall of Static Analysis of Applications Based on Frameworks by Generating Equivalent Code

N. A. Borodavko and V. N. Ignatiev p. 297  abstract

CLOS Operating System Family

I. B. Burdonov, A. S. Kossatchev, A. K. Petrenko, A. V. Khoroshilov, and V. Yu. Cheptsov p. 308  abstract

Yet Another Kind of JavaBeans: Composed Types from Aggregated Instances

E. M. Grinkrug p. 318  abstract

Adaptation of the ThreadSanitizer Algorithm for Data Race Detection in an RTOS Kernel

E. S. Elchinov p. 332  abstract

Data Augmentation for Machine Learning on Missing Data

D. O. Lazarev, A. V. Shokurov, and S. A. Fomin p. 344  abstract

Increasing the Precision of Static Code Analysis Using Large Language Models

D. D. Panov, N. V. Shimchik, D. A. Chibisov, A. A. Belevantsev, and V. N. Ignatyev p. 358  abstract

Computer-Interpretable Format IDS++ for the Specification and Verification of Requirements in Construction: Idea, Concept, and Implementation

V. A. Semenov, S. V. Arishin, E. M. Zorin, and S. V. Morozov p. 370  abstract

Adaptive Methods and Tools for Shallow Packet Inspection in Anomaly Detection within Encrypted Network Traffic

N. A. Tsaplin, A. P. Petrov, and D. Yu. Kovalev p. 385  abstract

Erratum

Erratum to: A Hybrid Approach Based on Ant Colony Optimization to Improve the Performance of the K-Means Algorithm for Clustering Energy Efficiency Patterns

Sinuhe Ginés-Palestino, Eduardo Roldán-Reyes, Marcela Quiroz-Castellanos, Consuelo Gines Palestino, and Paulo Nazareno Maia Sampaio p. 393  abstract