Computing, Telecommunications and Control
    Computing, Telecommunications and ControlPeter the Great St. Petersburg Polytechnic University
    Since 2008
    ISSN 2687-0517
    enАнглийский
    Version for the visually impaired
    Submit Your Paper
    Publication schedule
    • №2 June 2026
      Submission deadline: 29 May 2026
    • №3 September 2026
      Submission deadline: 31 August 2026
    • №4 December 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
    • 8461
    • 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
    • 8946
    • 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
    • 9488
    • 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
    • 8965
    • Pages: 78-84

    Integrated criteria of software requirement checking

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

    A program component behavior specification language

    Computer Systems and Software
    Itsykson V.M.Glukhikh M.I.,
    • Year: 2010
    • Issue: 3
    • 0
    • 9569
    • 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
    • 8916
    • 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
    • 8912
    • Pages: 74-87