Publication schedule
  • №4 December 2018
    Submission deadline: 10 November 2018
  • №1 March 2019
    Submission deadline: 10 February 2019
  • №2 June 2019
    Submission deadline: 10 May 2019
  • №3 September 2019
    Submission deadline: 10 July 2019
Kotlyarov Vsevolod P.

Experimental Aspects of Memory Bandwidth for HPC Systems with ccNUMA Architecture

Telecommunication systems and Computer Networks
  • Year: 2017
  • Volume: 10
  • Issue: 3
  • 38
  • 233
  • Pages: 32-41

Sequence diagrams application for keyword-driven testing

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2014
  • Issue: 3
  • 394
  • 741
  • Pages: 78-84

Approach to concurrent systems testing based on UCM specification

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2014
  • Issue: 3
  • 287
  • 578
  • Pages: 85-91

Principles of SMS informing system testing

Telecommunication systems and Computer Networks
  • Year: 2014
  • Issue: 4
  • 288
  • 591
  • Pages: 41-46

Formal models structurization based technique of complex software projects testing

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 745
  • 1264
  • Pages: 99-104

Integrated criteria of software requirement checking

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 607
  • 1076
  • Pages: 111-117

Test suite execution scaling for automated testing

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 560
  • 991
  • Pages: 118-122

Restrictions on concurrent construction and time delays of UCM language

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2013
  • Issue: 3
  • 534
  • 948
  • Pages: 148-153

Verification of requirements for reactive systems

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 148
  • Pages: 109-114

Static approach for debugging of test scenarious generated with usage of heuristics.

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 181
  • Pages: 114-119

Elaboration of the toolsuite for automation of the static and dynamic software requirement checking

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 150
  • Pages: 119-123

Approach for testing automation based on user scenarious

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 157
  • Pages: 123-126

Technology of testing automation based on symbolic trace

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 133
  • Pages: 175-180

Usage of formalization approaches for creation of system models from ucm-specification

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 142
  • Pages: 180-184

Cloud service architecture for scientific and engineering computing in distributed environment

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 4
  • 0
  • 180
  • Pages: 146-149

Automation of test environment configuring for telecom projects

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 4
  • 0
  • 174
  • Pages: 149-152

Requirement coverage criteria for test cases generated from applications’ behavioral models

Information Systems and Software Engineering
  • Year: 2011
  • Issue: 6
  • 0
  • 137
  • Pages: 202-207

Applying the method of heuristics for the optimal set of test scenarios generation

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 143
  • Pages: 169-174

Testing automation of projects in telecommunication domain

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 139
  • Pages: 180-185

Integrated environment for testing automation based on Eclipse platform

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 151
  • Pages: 186-191

The program of calculation of an indicator of reliability of system with direct inclusion of the complete set the ZIP in reliability model

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 146
  • Pages: 208-212

Verification and testing automation of UML projects

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 138
  • Pages: 220-225

Java code formalization in UML models

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 148
  • Pages: 232-236

Client application residual testing via XMPP protocol

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 140
  • Pages: 242-246

Automation  of formalization of requirement to program projects

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 137
  • Pages: 236-241

Verification of the software at integration of new functionality into existing system

Telecommunication systems and Computer Networks
  • Year: 2008
  • Issue: 5
  • 0
  • 153
  • Pages: 20-26

Implementation of nonlinear programming second order methods on the basis of recurrent estimation algorithms

Software of Computer, Telecommunications and Control Systems
  • Year: 2018
  • Volume: 11
  • Issue: 1
  • 2
  • 186
  • Pages: 39-46