Publication schedule
  • №2 June 2024
  • №3 September 2024
  • №4 December 2024

Articles by keywords "specification"

Testing digital systems defined by high level specifications

Control Systems Hardware and Software
  • Year: 2011
  • Issue: 6
  • 1
  • 5035
  • 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
  • 5341
  • Pages: 20-26

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

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

Sequence diagrams application for keyword-driven testing

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

Integrated criteria of software requirement checking

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

A program component behavior specification language

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

Conformance testing automation for transport layer security protocol TLS

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

VERMONT – a Toolset for Verification of Software Defined Networks

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