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
    • №4 December 2026
    • №1 March 2027
    • №2 June 2027

    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
    • 3
    • 8998
    • 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
    • 2
    • 9519
    • 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
    • 2
    • 10078
    • 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
    • 9506
    • 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
    • 10170
    • Pages: 111-117

    A program component behavior specification language

    Computer Systems and Software
    Itsykson V.M.Glukhikh M.I.,
    • Year: 2010
    • Issue: 3
    • 2
    • 10141
    • 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
    • 9536
    • 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
    • 9550
    • Pages: 74-87