Contents
Programming and Computer Software

Vol. 37, No. 1, 2011

A simultaneous English language translation of this journal is available from Pleiades Publishing, Ltd.
Distributed worldwide by Springer. Programming and Computer Software ISSN 0361-7688.

Specification Completion for IOCO

I. B. Bourdonov and A. S. Kossatchev p. 1  abstract

Models in Performance Testing

B. A. Pozin and I. V. Galakhov p. 15  abstract

Development of a Test Suite for the Verification
of Implementations of the IPsec v2 Security Protocol

A. V. Nikeshin, N. V. Pakulin, and V. Z. Shnitman p. 26  abstract

Ensuring Portability of Software

D. V. Silakov and A. V. Khoroshilov p. 41  abstract

Implementation Features a University Data Portal Using
the Semantic Web Technology

E. A. Gavrilova p.48  abstract

Pleiades Publishing home page | journal home page | top

If you have any problems with this server, contact webmaster.