Formal description of the types and - data structures mixed programmes

Examines examines the approaches to the formal submission types and data structures of programming language, subject-oriented languages such as DSL, which are used to describe the diverse programs at Applied-domains. The analysis software specifications ready program with fundamental, general and specific data types for specification some of the concepts and tasks of subject areas.Problems in programming 2011; 2: 50-6

Integration of algorithm algebra and term rewriting tools for developing efficient parallel programmes

The approach to generation of terms by high-level specifications of algorithms is proposed. The generation is performed within the framework of joint use of symbolic computation system and algebro-algorithmic toolkit of program design and synthesis. The term rewriting system complements the algebro-algorithmic toolkit with means of transforming sequential and parallel algorithms aimed at their improvement.Problems in programming 2013; 2: 62-70

The program technological complex of decision making in industrial enterprise management on early stages of crises changes

The decision making system and the technologic of its using are proposed. This instruments allow to solve primary crises management tasks: an enterprise condition diagnose, an optimization a necessary management choice. Restrictions in facilities using and management purposes changing on a different stages of crises process are taken into account. Results of proposed program technological complex practical tests are presented. Problems in programming 2010; 1: 96-10

The problems of massive construction of the integrated information security system (IISS) and a ways of their solution

The article discussesthe phenomenon ofIISS, goals, objectives and principles of its construction. An analysisof somemethodsof testingandauditingIISS, as well asproblemsthatarise here. Proposes to usesoftwaretoolsto supportautomatedtestingandauditingIISSasoneofthe methodsofovercoming them.Prombles in programming 2011; 3: 69-7

One approach for advanced internet-programs creation on example of widget-programs developing

Considers use of methodology for advanced internet-programs creation on base of Adobe Flex 2.0, using design patterns and architecture shell. Approach illustrated by developing widget-programs.Problems in programming 2011; 4: 49-5

Mathematical foundations for designing and development of intelligent systems of information analysis

This article is an attempt to combine different ways of working with sets of objects and their classes for designing and development of artificial intelligent systems (AIS) of analysis information, using object-oriented programming (OOP). This paper contains analysis of basic concepts of OOP and their relation with set theory and artificial intelligence (AI). Process of sets and multisets creation from different sides, in particular mathematical set theory, OOP and AI is considered. Definition of object and its properties, homogeneous and inhomogeneous classes of objects, set of objects, multiset of objects and constructive methods of their creation and classification are proposed. In addition, necessity of some extension of existing OOP tools for the purpose of practical implementation AIS of analysis information, using proposed approach, is shown.Prombles in programming 2014; 2-3: 233-24

Designing of the specialized computer system for making pulmonology diagnosis

In this article the problems of designing specialized computer systems for making medical diagnosis are considered. The architecture of software system that allows making non-invasive diagnosis of human respiratory system is developed. The analysis of domain and physical foundations of chosen diagnostics method – laser correlation spectroscopy – is made. The source data which are used in the automated system for identifying the state of respiratory system are formalized. The common borders and the context of the simulated domain in initial phase of the designing system are identified. The general requirements for functional behavior of the designed system are formulated. The non-functional requirements for the developed software product are listed. System users are considered – they are entities which are external in relation to the system. being modeled that interact with the system and its functionality is used to achieve the objectives. They interact with the system and used its functional capabilities to achieve the objectives. The main use cases of the system are considered. Its analysis and formalization are made using UML-diagrams of the form Use case and Activity. The basic algorithms of diagnostic data are considered.Prombles in programming 2014; 2-3: 253-26

System-ontological analysis the subject area of testing integrated information security system (IISS)

Prombles in programming 2014; 1: 62-7

Using ontological knowledge in recommender systems

The main functions of recommender systems and criteria of their classification are analysed. Methods of recommendation generation based on the ontological model of knowledge about users and resources and its use in the semantic search system MAIPS are proposed.Problems in programming 2013; 2: 71-8

Formalized design and synthesis of parallel programs for videographic shortcuts

Prombles in programming 2013; 3: 38-4