Media Summary: Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Software Engineering Education: The Messir Approach Nicolas Guelfi , University of Luxembourg 12 - 14 November A Theory of Programs Bertrand Meyer, Eiffel Software 12 - 14 November

Tmpa 2015 The Dynamic Analysis - Detailed Analysis & Overview

Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November Software Engineering Education: The Messir Approach Nicolas Guelfi , University of Luxembourg 12 - 14 November A Theory of Programs Bertrand Meyer, Eiffel Software 12 - 14 November Standards and Standartization in Program Engineering. Why Would You Care? Nikolay Pakulin, ISP RAS, Moscow 12 - 14 ... Multi-Platform Approach to Reverse Debugging of Virtual Machines Pavel Dovgalyuk, Maria Klimushenkova, Denis Dmitriev and ... ClearTH: a Tool for Automated Testing of Post Trade Systems Anna Toropova, Ekaterina Dimova, Iosif Itkin, Exactpro Systems 12 ...

Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ... A Need To Specify and Verify Standard Functions Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 ... Information Support System for Autonomous Spacecraft Control Macro-Programming Andrew Tyugashev, Anton Nasekin, Saint ... Multi-Module Application Tracing in z/OS Environment Rostislav Efremov, Saint Petersburg State University, Saint Petersburg 12 ...

Photo Gallery

TMPA-2015: The dynamic Analysis of Executable Code in ELF Format
TMPA-2015: The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions
TMPA-2015: Implementing the MetaVCG Approach in the C-light System
TMPA-2015: Software Engineering Education: The Messir Approach
TMPA-2015: A Theory of Programs
TMPA-2015: Lexical analysis of dynamically formed string expressions
TMPA-2015: Standards and Standartization in Program Engineering. Why Would You Care?
TMPA-2015: Multi-Platform Approach to Reverse Debugging of Virtual Machines
TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems
TMPA-2015: Automated testing: yesterday, today, tomorrow – the vectors of development
TMPA-2015: A Need To Specify and Verify Standard Functions
TMPA-2015: Information Support System for Autonomous Spacecraft Control Macro-Programming
View Detailed Profile
TMPA-2015: The dynamic Analysis of Executable Code in ELF Format

TMPA-2015: The dynamic Analysis of Executable Code in ELF Format

The

TMPA-2015: The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions

TMPA-2015: The Application of Static Analysis to Optimize the Dynamic Detection of Race Conditions

The Application of Static

TMPA-2015: Implementing the MetaVCG Approach in the C-light System

TMPA-2015: Implementing the MetaVCG Approach in the C-light System

Alexei Promsky, Dmitry Kondtratyev, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 November

TMPA-2015: Software Engineering Education: The Messir Approach

TMPA-2015: Software Engineering Education: The Messir Approach

Software Engineering Education: The Messir Approach Nicolas Guelfi , University of Luxembourg 12 - 14 November

TMPA-2015: A Theory of Programs

TMPA-2015: A Theory of Programs

A Theory of Programs Bertrand Meyer, Eiffel Software 12 - 14 November

TMPA-2015: Lexical analysis of dynamically formed string expressions

TMPA-2015: Lexical analysis of dynamically formed string expressions

Lexical

TMPA-2015: Standards and Standartization in Program Engineering. Why Would You Care?

TMPA-2015: Standards and Standartization in Program Engineering. Why Would You Care?

Standards and Standartization in Program Engineering. Why Would You Care? Nikolay Pakulin, ISP RAS, Moscow 12 - 14 ...

TMPA-2015: Multi-Platform Approach to Reverse Debugging of Virtual Machines

TMPA-2015: Multi-Platform Approach to Reverse Debugging of Virtual Machines

Multi-Platform Approach to Reverse Debugging of Virtual Machines Pavel Dovgalyuk, Maria Klimushenkova, Denis Dmitriev and ...

TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems

TMPA-2015: ClearTH: a Tool for Automated Testing of Post Trade Systems

ClearTH: a Tool for Automated Testing of Post Trade Systems Anna Toropova, Ekaterina Dimova, Iosif Itkin, Exactpro Systems 12 ...

TMPA-2015: Automated testing: yesterday, today, tomorrow – the vectors of development

TMPA-2015: Automated testing: yesterday, today, tomorrow – the vectors of development

Automated testing: yesterday, today, tomorrow – the vectors of development Anton Semyonchenko, DPI Solutions 12 - 14 ...

TMPA-2015: A Need To Specify and Verify Standard Functions

TMPA-2015: A Need To Specify and Verify Standard Functions

A Need To Specify and Verify Standard Functions Nikolay Shilov, A.P. Ershov Institute of Informatics Systems, Novosibirsk 12 - 14 ...

TMPA-2015: Information Support System for Autonomous Spacecraft Control Macro-Programming

TMPA-2015: Information Support System for Autonomous Spacecraft Control Macro-Programming

Information Support System for Autonomous Spacecraft Control Macro-Programming Andrew Tyugashev, Anton Nasekin, Saint ...

TMPA-2015: Multi-Module Application Tracing in z/OS Environment

TMPA-2015: Multi-Module Application Tracing in z/OS Environment

Multi-Module Application Tracing in z/OS Environment Rostislav Efremov, Saint Petersburg State University, Saint Petersburg 12 ...