Skip to main content

Programming and Computer Software

Ausgabe 4/2000

Inhalt (6 Artikel)

Formal methods for verification of websites macrostructure integrity

M. R. Kogalovsky, E. N. Efimova, T. A. Rybina, V. B. Brakhin

Mapping the XML data model into the object model of the SYNTHESIS language

M. A. Osipov, O. L. Machul'sky, L. A. Kalinichenko

A language and programming environment for high-performance parallel computing on heterogeneous networks

A. L. Lastovetsky, A. Ya. Kalinov, I. N. Ledovskikh, D. M. Arapov, M. A. Posypkin