Contents

Programming and Computer Software


Vol. 52, No. 1, 2026


CLIPS-Based Expert System Integration into a POSIX Compliant Real-Time Operating System

K. A. Kostiukhin and A. A. Sergeychik p. 1  abstract

A Method for Explaining Forecasts of Artificial Intelligence Models Based on the Shapley Algorithm and a Generative Language Model

P. V. Matrenin p. 9  abstract

An Algorithm for Additional Optimization of Block Cover of a System of Disjunctive Normal Forms of Boolean Functions

P. N. Bibilo p. 18  abstract

The Use of the Missing Sample Simulation Modeling to Create a Classification Model for Three or More Classes by the Example of the Carbohydrate Metabolism Disorder Degree Detection Problem

R. S. Novikov, M. A. Novopashin, and B. A. Pozin p. 28  abstract

Software Verification Witnesses Thoroughness

V. O. Mordan and V. S. Mutilin p. 39  abstract

Erratum

Erratum to: Securing the Software Supply Chain with Software Bill of Materials (SBOMs): An Empirical Evaluation of Open-Source Tools in Enterprise IT Environments

O. Sorocean, A. Omar Portillo-Dominguez, and Vanessa Ayala-Rivera p. 50  abstract