Vol. 51, No. 4, 2025

Programming and Computer Software

Computer-Algebraic Study of the Asymptotic Method for Modeling Waveguide Propagation of Electromagnetic Radiation

D. A. Starikov, D. V. Divakov, and A. A. Tyutyunnik p. 217 abstract

Improving System Survivability by Path Duplication

I. B. Burdonov, N. V. Yevtushenko, and A. S. Kossatchev p. 224 abstract

Automatic Inference of Synchronous Regular Invariants

A. I. Vasenina, Yu. O. Kostyukov, and D. A. Mordvinov p. 242 abstract

Application of the 9P Protocol in Organizing a High-Speed Shared Memory Buffer for Intermediate Computations (RAMPL)

A. K. Kulagin p. 257 abstract

Constraint Programming for Automatic User Interface Construction

P. A. Lozov, D. S. Kosarev, and D. Yu. Boulytchev p. 262 abstract

Do Internal Software Metrics Have Relationship with Fault-Proneness and Change-Proneness?

Md. Masudur Rahman, Toukir Ahammed, Md. Mahbubul Alam Joarder, and Kazi Sakib p. 274 abstract

PLIF Platform: Modeling and Verification of Information Flows in Software DB Units Using the Temporal Logic of Actions (TLA+)

A. A. Timakov, and I. G. Ryzhov p. 283 abstract