Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
Version for the visually impaired
Submit Your Paper
Publication schedule
  • №4 December 2025
  • №1 March 2026
    Submission deadline: 27 February 2026
  • №2 June 2026
    Submission deadline: 29 May 2026
  • №3 September 2026
    Submission deadline: 31 August 2026

Articles by keywords "specification"

Testing digital systems defined by high level specifications

Control Systems Hardware and Software
Berezkin A.V. Fedotov A.A. Filippov A.S.
  • Year: 2011
  • Issue: 6
  • 1
  • 7342
  • Pages: 62-70

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

Telecommunication Systems and Computer Networks
Tikhomirov V.A. Kotlyarov V,P.
  • Year: 2008
  • Issue: 5
  • 0
  • 7800
  • Pages: 20-26

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

Computer Systems and Software
Itsykson V.M. Zozulya A.V.
  • Year: 2011
  • Issue: 4
  • 0
  • 8328
  • Pages: 81-90

Sequence diagrams application for keyword-driven testing

Conference "Technologies Microsoft in the theory and programming practice"
Tyutin B.V. Veselov A.O. Kotlyarov V,P.
  • Year: 2014
  • Issue: 3
  • 399
  • 7887
  • Pages: 78-84

Integrated criteria of software requirement checking

Microsoft Сonference
Nikiforov I.V. Drobintsev P.D. Kotlyarov V,P.
  • Year: 2013
  • Issue: 3
  • 608
  • 8407
  • Pages: 111-117

A program component behavior specification language

Computer Systems and Software
Itsykson V.M. Glukhikh M.I.,
  • Year: 2010
  • Issue: 3
  • 0
  • 8433
  • Pages: 63-70

Conformance testing automation for transport layer security protocol TLS

Conference «Tools & Methods of Program Analysis – 2013»
Nikeshin A.V. Pakulin N.V. Shnitman V.Z.
  • Year: 2014
  • Issue: 2
  • 353
  • 7774
  • Pages: 180-188

VERMONT – a Toolset for Verification of Software Defined Networks

Conference «Tools & Methods of Program Analysis – 2014»
Zakharov V.A. Altukhov V.S. Podymov V.V. Chemeritskiy E.V.
  • Year: 2015
  • Issue: 1
  • 316
  • 7710
  • Pages: 74-87