Publication schedule
  • №2 June 2020
    Submission deadline: 10 May 2020
  • №3 September 2020
  • №4 December 2020

Approach to concurrent systems testing based on UCM specification

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

Formal models structurization based technique of complex software projects testing

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 746
  • 1988
  • Pages: 99-104

Integrated criteria of software requirement checking

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 608
  • 2003
  • Pages: 111-117

Restrictions on concurrent construction and time delays of UCM language

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

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
  • 1091
  • 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
  • 1018
  • Pages: 119-123

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
  • 1050
  • Pages: 180-184

Generation of formal model of a sysmem from requirements specified in Use Case Map

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 1
  • 1002
  • Pages: 191-195