External Links

    Journal: Programming and Computer Software

    Volume 36, Issue 5

    247 -- 263Igor B. Bourdonov, Alexander Kossatchev. Interaction semantics with refusals, divergence, and destruction
    264 -- 275Vitaly Semenov, K. V. Dragalov, D. V. Ilyin, Sergei Morozov, O. V. Sidyaka. On complementary principles of object-oriented constraint programming
    276 -- 288A. A. Kalenkova. Application of if-conversion to verification and optimization of workflows
    289 -- 305Victor V. Kuliamin. Component architecture of model-based testing environment
    runs on