Media Summary: Software Engineering Education: The Messir Approach Nicolas Guelfi , University of Luxembourg 12 - 14 November A Need To Specify and Verify Standard Functions Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 ... ClearTH: a Tool for Automated Testing of Post Trade Systems Anna Toropova, Ekaterina Dimova, Iosif Itkin, Exactpro Systems 12 ...
Tmpa 2015 Formal Methods In - Detailed Analysis & Overview
Software Engineering Education: The Messir Approach Nicolas Guelfi , University of Luxembourg 12 - 14 November A Need To Specify and Verify Standard Functions Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 ... ClearTH: a Tool for Automated Testing of Post Trade Systems Anna Toropova, Ekaterina Dimova, Iosif Itkin, Exactpro Systems 12 ... Standards and Standartization in Program Engineering. Why Would You Care? Nikolay Pakulin, ISP RAS, Moscow 12 - 14 ... A Theory of Programs Bertrand Meyer, Eiffel Software 12 - 14 November Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November
The Verification of Functional Programs by Applying Statechart Diagrams Construction Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ... Multi-Module Application Tracing in z/OS Environment Rostislav Efremov, Saint Petersburg State University, Saint Petersburg 12 ... The Application of Parameterized Hierarchy Templates for Automated Program Code Defect-Fixing Artyom Aleksyuk, Vladimir ... The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions Yakov Roskoshnyy, Dmitry Tsitelov, ...
