**On the jubilee of Lev Nikolaevich Korolev's birth.**1

- A. V. Babichev, V. G. Lebedev:
**Model-100: Specification language for interacting processes.**2-13

- Alexei Lisitsa, Andrei P. Nemytykh:
**Verification as a parameterized testing (experiments with the SCP4 supercompiler).**14-23

- Andrey N. Terekhov, V. V. Sokolov:
**Implementation of the conformation of MSC and SDL diagrams in the REAL technology.**24-33

- A. V. Klepinin:
**On a universal model for the organization of database access.**34-43

- M. B. Kuznetsov:
**UML model transformation and its application to MDA technology.**44-53

- Sergei A. Abramov, A. A. Bogolubskaya, Vitaly Rostovtsev, Victor F. Edneral:
**The research seminar on computer algebra in 2005-2006.**55-59

- Alexander N. Prokopenya:
**Symbolic computation in studying stability of solutions of linear differential equations with periodic coefficients.**60-66

- E. S. Shemyakova, F. Wincler:
**Obstacles to factorization of partial differential operators into several factors.**67-73

- N. D. Gogin, A. A. Myllari:
**The Fibonacci-Padovan sequence and MacWilliams transform matrices.**74-79

- Eugene V. Zima, A. M. Stewart:
**Cunningham numbers in modular arithmetic.**80-86

- Vladimir V. Kornyak:
**Symmetric cellular automata.**87-93

- Alexander V. Zorin, Leonid A. Sevastianov, N. P. Tretyakov:
**Computer modeling of hydrogen-like atoms in quantum mechanics with nonnegative distribution function.**94-104

- Sergey I. Vinitsky, Vladimir P. Gerdt, A. A. Gusev, Michael S. Kaschiev, Vitaly Rostovtsev, V. N. Samoilov, T. V. Tupikova, Ochbadrakh Chuluunbaatar:
**A symbolic-numerical algorithm for the computation of matrix elements in the parametric eigenvalue problem.**105-116

- S. I. Serdyukova:
**Inverse problem for the two-dimensional discrete Schrödinger equation in a square.**117-119

- Rimma I. Podlovchenko, Dmitry M. Rusakov:
**Inclusion problem in algebraic models of programs with constants.**121-131

- S. A. Abramov, S. P. Polyakov:
**Improved universal denominators.**132-138

- A. S. Semenov, P. A. Zyuzikov:
**Involutive divisions and monomial orderings.**139-146

- Vladimir P. Gerdt, Yuri A. Blinkov:
**On selection of nonmultiplicative prolongations in computation of Janet bases.**147-153

- Victor V. Kuliamin:
**Standardization and testing of implementations of mathematical functions in floating point numbers.**154-173

- Irina Virbitskaite:
**Sixth International Conference "Perspectives of System Informatics".**174-179

- V. A. Vasenin, Alexander Vodomerov:
**A formal model of a system for automated program parallelization.**181-194

- D. Yu. Gamayunov, R. L. Smelyanskii:
**A model of the behavior of network objects in distributed computer systems.**195-203

- Maria P. Grineva, Maxim N. Grinev:
**Query triggers for XML DBMS: Efficient implementation based on shadow mechanism.**204-213

- Ya. R. Faizulkhakov:
**Time synchronization methods for wireless sensor networks: A survey.**214-226

- Sh. E. Bozoyan, V. S. Yeghiazaryan:
**The Alex language for circuit description.**227-237

- Igor B. Bourdonov, Alexander Kossatchev, Victor V. Kuliamin:
**Formalization of test experiments.**239-260

- Alexey V. Demakov:
**Object-oriented description of graph data structures.**261-271

- V. P. Ivannikov, A. S. Kamkin, Alexander Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko:
**The use of contract specifications for representing requirements and for functional testing of hardware models.**272-282

- D. G. Shopyrin, A. A. Shalyto:
**Graphical inheritance notation for state-based classes.**283-292

- V. B. Novoseltsev:
**Synthesis of parallel recursive programs in structural functional models.**293-298

- D. M. Rusakov:
**Scheme inclusion verification algorithm in algebraic model of programs with constants.**299-306

- N. I. V'yukova, V. A. Galatenko, S. V. Samborskii:
**Software pipelining of loops by the method of modulo scheduling.**307-315

- N. V. Pakulin, Alexey V. Khoroshilov:
**Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols.**316-335

- N. A. Taranukha, Z. A. Izabekov:
**A method for voxel visualization of 3D objects.**336-342

- V. S. Gurov, M. A. Mazin, A. S. Narvsky, A. A. Shalyto:
**Tools for support of automata-based programming.**343-355