Media Summary: Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ... Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Expanding the Meta-Generation of Correctness Conditions by Means of Semantic Markup Dmitry Kondratyev, A.P. Ershov Institute ...
Tmpa 2015 Multi Module Application - Detailed Analysis & Overview
Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ... Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Expanding the Meta-Generation of Correctness Conditions by Means of Semantic Markup Dmitry Kondratyev, A.P. Ershov Institute ... A Need To Specify and Verify Standard Functions Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 ... Testing of a Robot-Programming Environment Dmitry Mordvinov, Yury Litvinov, Saint Petersburg State University, Saint ... Information Support System for Autonomous Spacecraft Control Macro-Programming Andrew Tyugashev, Anton Nasekin, Saint ...
Field Services Supervisor, Clint McNear reviews the
