Media Summary: Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ... Expanding the Meta-Generation of Correctness Conditions by Means of Semantic Markup Dmitry Kondratyev, A.P. Ershov Institute ...
Tmpa 2015 Multi Platform Approach - Detailed Analysis & Overview
Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ... Expanding the Meta-Generation of Correctness Conditions by Means of Semantic Markup Dmitry Kondratyev, A.P. Ershov Institute ... The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions Yakov Roskoshnyy, Dmitry Tsitelov, ... Information Support System for Autonomous Spacecraft Control Macro-Programming Andrew Tyugashev, Anton Nasekin, Saint ... The Verification of Functional Programs by Applying Statechart Diagrams Construction
