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

Articles by keywords "software"

Ensuring confidence in control systems of technological equipment

Intelligent Systems and Technologies, Artificial Intelligence
  • Year: 2021
  • Volume: 14
  • Issue: 4
  • 24
  • 4353
  • Pages: 71-83

On programming an application to mitigate DoS attack using OpenDaylight controller in software-defined networking

Software of Computer, Telecommunications and Control Systems
  • Year: 2021
  • Volume: 14
  • Issue: 1
  • 39
  • 4978
  • Pages: 50-59

General approach for selection software architecture pattern based on system quality attributes

Information Technologies
  • Year: 2019
  • Volume: 12
  • Issue: 2
  • 25
  • 6997
  • Pages: 28-38

Architecture of data acquisition and processing system for improving productivity of software developers

Software of Computer, Telecommunications and Control Systems
  • Year: 2018
  • Volume: 11
  • Issue: 4
  • 11
  • 6798
  • Pages: 71-81

Method for object-oriented software quality assurance automation

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2008
  • Issue: 6
  • 0
  • 6789
  • Pages: 150-156

Matlab-Simulink application to modeling the mechanical vibration using real-time software and hardware

COMOD-2013 Conference
  • Year: 2013
  • Issue: 6
  • 976
  • 8007
  • Pages: 145-149

Problems of software acceptance testing automation in behavior driven development

Computer Systems and Software
  • Year: 2012
  • Issue: 6
  • 0
  • 7178
  • Pages: 90-97

Integrated telecommunication services for departmental network communications

Telecommunication Systems and Computer Networks
  • Year: 2012
  • Issue: 6
  • 0
  • 6704
  • Pages: 32-42

Stackelberg equilibrium in a model of hardware and software manufacturers’ interaction

Computer Systems and Software
  • Year: 2010
  • Issue: 6
  • 0
  • 6603
  • Pages: 87-90

The system of accounting for access to the licensed software in center for collective use

Computer Systems and Software
  • Year: 2009
  • Issue: 5
  • 0
  • 6515
  • Pages: 133-139

Software framework for performance analysis of client-server systems under load

Computer Systems and Software
  • Year: 2008
  • Issue: 5
  • 0
  • 6509
  • Pages: 105-111

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

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

Scalability of the open source software for cfd fire modeling

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2012
  • Issue: 5
  • 0
  • 6452
  • Pages: 77-84

The software of information support of ECAD

Computer Systems and Software
  • Year: 2009
  • Issue: 4
  • 0
  • 6665
  • Pages: 136-141

Knowledge management in software developing company quality management system

System Analysis and Control
  • Year: 2012
  • Issue: 4
  • 0
  • 6806
  • Pages: 61-66

The employment of a software architecture model-view controller for establishment visual designing and modelling of algorithms

System Analysis and Control
  • Year: 2011
  • Issue: 4
  • 0
  • 6745
  • Pages: 36-42

New aproach to developing mathematical support and software of embedded automated research systems and high speed cameras

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 6752
  • Pages: 205-210

Development and practical application of ASPECT.NET system targeted at academic .NET framework

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 6339
  • Pages: 174-179

Supercomputer technology as the modern realization of multidisciplinary approach in education and scientific activity

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2010
  • Issue: 4
  • 0
  • 6690
  • Pages: 99-106

Software reliability metrics based on static analysis

Computer Systems and Software
  • Year: 2009
  • Issue: 3
  • 0
  • 6757
  • Pages: 139-147

Computer-Aided Parametrization Algorithm for Tomographic Objects and Its Practical Realization

Intelligent Technology
  • Year: 2016
  • Issue: 3
  • 144
  • 7127
  • Pages: 49-57

A macro-flow graph generation technique, supporting automatic synthesis оf parallel programs for heterogeneous multicore processors

Computer Systems and Software
  • Year: 2012
  • Issue: 3
  • 0
  • 6540
  • Pages: 47-52

Architecture of a system for distance contests execution and organization of working with mathematical problems

System Analysis and Control
  • Year: 2010
  • Issue: 3
  • 0
  • 6995
  • Pages: 49-54

The reasoning of testing strategy on basis of nonstationary software quality model

Computer Systems and Software
  • Year: 2010
  • Issue: 2
  • 0
  • 6478
  • Pages: 85-92

Conformance testing automation for transport layer security protocol TLS

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

UPPAAL-based verification of software-defined networks

Conference «Tools & Methods of Program Analysis – 2013»
  • Year: 2014
  • Issue: 2
  • 465
  • 7358
  • Pages: 169-179

Ontology of software building, execution and environment configuration and its application in software deployment in computing clouds

Computer Systems and Software
  • Year: 2014
  • Issue: 2
  • 351
  • 7250
  • Pages: 110-125

Methodology of detection and correction of interruptions out of the report in networks of data transmission

Actual problems of linguistics
  • Year: 2012
  • Issue: 2
  • 0
  • 6567
  • Pages: 109-113

Reliability models of high-duty software systems

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2011
  • Issue: 2
  • 0
  • 6390
  • Pages: 123-126

Developing web applications using high-level abstraction models

Computer Systems and Software
  • Year: 2011
  • Issue: 2
  • 0
  • 6794
  • Pages: 86-93

Modeling of Software Development Processes with Hidden Markov Models

Software of Computer, Telecommunications and Control Systems
  • Year: 2017
  • Volume: 10
  • Issue: 4
  • 43
  • 6953
  • Pages: 70-77

A Low-Power Digitally Controlled Oscillator Based on 65-nm CMOS Technology

Circuits and Systems for Receiving, Transmitting and Signal Processing
  • Year: 2017
  • Volume: 10
  • Issue: 3
  • 40
  • 6858
  • Pages: 53-58

The model of the intentional destructive impact on the integrated communication systems infrastructure

Mathematical Modelling: Methods, algorithms, technologies
  • Year: 2009
  • Issue: 1
  • 0
  • 6268
  • Pages: 181-187

Decision-making at a choice of tool means of working out of the automated systems

System Analysis and Control
  • Year: 2009
  • Issue: 1
  • 0
  • 6973
  • Pages: 106-109

Software Selection by Using the Takagi-Sugeno Algorithm on the Example of Project Management Systems

Software of Computer, Telecommunications and Control Systems
  • Year: 2016
  • Issue: 1
  • 407
  • 7453
  • Pages: 41-52

VERMONT – a Toolset for Verification of Software Defined Networks

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

An experimental study of snake robot «ZMEELOC-3»

Robotics and Mechatronics
  • Year: 2013
  • Issue: 1
  • 982
  • 7750
  • Pages: 132-138

Hardware-software complex of dynamic-entropy monitoring of heart rate

Devices, Information-measuring Systems
  • Year: 2011
  • Issue: 1
  • 0
  • 6369
  • Pages: 143-150

Formation of evaluation software changes in MIS

Computer Systems and Software
  • Year: 2011
  • Issue: 1
  • 0
  • 6373
  • Pages: 65-71