Publication schedule
  • №4 December 2019
    Submission deadline: 10 November 2019
  • №1 March 2020
    Submission deadline: 10 February 2020
  • №2 June 2020
    Submission deadline: 10 May 2020

Approach to concurrent systems testing based on UCM specification

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

Formal models structurization based technique of complex software projects testing

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

Integrated criteria of software requirement checking

Microsoft Сonference
  • Year: 2013
  • Issue: 3
  • 608
  • 1815
  • 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
  • 1632
  • 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
  • 880
  • 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
  • 873
  • 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
  • 843
  • 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
  • 808
  • Pages: 191-195