Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets V. A. NepomniaschyG. I. AlekseevT. G. Churina OriginalPaper Pages: 58 - 68
Visualization Facilities in Program Reengineering D. E. BaburinM. A. BulyonkovN. N. Filatkina OriginalPaper Pages: 69 - 77
Support Facilities for Development of Parallel Computational Algorithms S. I. KatkovI. V. Pottosin OriginalPaper Pages: 78 - 85
Subdefinite Models and Logic Programming: Implementation of Constraints E. S. PetrovT. M. Yakhno OriginalPaper Pages: 95 - 100
Evaluating Elementary Functions with Guaranteed Precision M. Yu. Loenko OriginalPaper Pages: 101 - 110