Publication schedule
  • №1 March 2021
  • №2 June 2021
  • №3 September 2021

Articles by keywords "specification"

Testing digital systems defined by high level specifications

Control Systems Hardware and Software
  • Year: 2011
  • Issue: 6
  • 1
  • 1782
  • Pages: 62-70

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

Telecommunication Systems and Computer Networks
  • Year: 2008
  • Issue: 5
  • 0
  • 1711
  • Pages: 20-26

The formalism for description of the partial specifications of program envinroment components

Computer Systems and Software
  • Year: 2011
  • Issue: 4
  • 0
  • 2040
  • Pages: 81-90

Sequence diagrams application for keyword-driven testing

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

Integrated criteria of software requirement checking

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

A program component behavior specification language

Computer Systems and Software
  • Year: 2010
  • Issue: 3
  • 0
  • 2196
  • Pages: 63-70

Conformance testing automation for transport layer security protocol TLS

Conference «Tools & Methods of Program Analysis – 2013»
  • Year: 2014
  • Issue: 2
  • 353
  • 2210
  • Pages: 180-188

VERMONT – a Toolset for Verification of Software Defined Networks

Conference «Tools & Methods of Program Analysis – 2014»
  • Year: 2015
  • Issue: 1
  • 314
  • 2028
  • Pages: 74-87