Publication schedule
  • №4 December 2024
  • №1 March 2025
  • №2 June 2025
  • №3 September 2025

Articles from section "Conference "Technologies Microsoft in the theory and programming practice""

Approach for testing automation based on user scenarious

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 6075
  • Pages: 123-126

Elaboration of the toolsuite for automation of the static and dynamic software requirement checking

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 5901
  • Pages: 119-123

Static approach for debugging of test scenarious generated with usage of heuristics.

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 6087
  • Pages: 114-119

Verification of requirements for reactive systems

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 5942
  • Pages: 109-114

Automatic parameters control of cameras, lenses and illumination in real-time text marker recognition systems

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 5845
  • Pages: 106-109

Methodic of WINDOWS PHONE 7 mobile applications development

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 6042
  • Pages: 102-105

Use element aspect-oriented approach in the drafting ASPECT.NET geolocation resource management system to cloud platforms MICROSOFT WINDOWS AZURE

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2012
  • Issue: 4
  • 0
  • 5763
  • Pages: 98-102

Integration of faculty`s schedule with SharePoint portal

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 4
  • 0
  • 5676
  • Pages: 152-156

Automation of test environment configuring for telecom projects

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 4
  • 0
  • 5998
  • Pages: 149-152

Cloud service architecture for scientific and engineering computing in distributed environment

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 4
  • 0
  • 6031
  • Pages: 146-149

Conceptual representation of subject problems of search designing of the physical principle of action of sensitive elements of the control system

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 4
  • 0
  • 5726
  • Pages: 142-145

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
  • 5901
  • Pages: 205-210

Heuristic network intrusion detection system prototype based on principal component analysis

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 5961
  • Pages: 200-204

Java-applications debugging technique on basis of playback application’s execution trace

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 5979
  • Pages: 195-199

Generation of formal model of a sysmem from requirements specified in Use Case Map

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 1
  • 5833
  • Pages: 191-195

Integrated environment for testing automation based on Eclipse platform

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 5829
  • Pages: 186-191

Testing automation of projects in telecommunication domain

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 5927
  • Pages: 180-185

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
  • 5771
  • Pages: 174-179

Applying the method of heuristics for the optimal set of test scenarios generation

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

Development and realization of C# compiler front end using Microsoft Phoenix

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 5772
  • Pages: 164-169

Conference of students, post-graduate students and young scientists of the Northwest “Technologies Microsoft in the theory and programming practice”

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2010
  • Issue: 4
  • 0
  • 5853
  • Pages: 163-163

Development of track and nanofiltering membranes parameter determination system software

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5591
  • Pages: 250-255

Simulating of charged particles and electromagnetic radiation propagation with high performance computing

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 6035
  • Pages: 246-250

Client application residual testing via XMPP protocol

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5753
  • Pages: 242-246

Automation  of formalization of requirement to program projects

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5810
  • Pages: 236-241

Java code formalization in UML models

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5877
  • Pages: 232-236

Implementation and practical usage of an aspect-oriented programming tool for Microsoft.Net

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5859
  • Pages: 225-232

Verification and testing automation of UML projects

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 6593
  • Pages: 220-225

Industrial testing techniques of the libraries of numerical methods

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5726
  • Pages: 216-220

Industrial testing technique of the libraries of numerical methods

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 6002
  • Pages: 212-216

The program of calculation of an indicator of reliability of system with direct inclusion of the complete set the ZIP in reliability model

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5911
  • Pages: 208-212

Testing automation of telecommunication systems

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2009
  • Issue: 3
  • 0
  • 5934
  • Pages: 204-208

Developing software for data center configuration

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2014
  • Issue: 3
  • 219
  • 6490
  • Pages: 92-98

Approach to concurrent systems testing based on UCM specification

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2014
  • Issue: 3
  • 287
  • 6230
  • Pages: 85-91

Sequence diagrams application for keyword-driven testing

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

Restrictions on concurrent construction and time delays of UCM language

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2013
  • Issue: 3
  • 534
  • 6902
  • Pages: 148-153

Usage of formalization approaches for creation of system models from ucm-specification

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 5894
  • Pages: 180-184

Technology of testing automation based on symbolic trace

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 6028
  • Pages: 175-180

Interactive visualization of enterprise it infrastructure graph

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 5911
  • Pages: 172-175

Using methods of aspect-oriented programming for software development

Conference "Technologies Microsoft in the theory and programming practice"
  • Year: 2011
  • Issue: 3
  • 0
  • 6164
  • Pages: 166-171