Search Results - "004.415"
Suggested Topics within your search.
Suggested Topics within your search.
- 16
- УДК 004.415.2.045 (076.5) 8
- UDC 004.415.2.045 (076.5) 7
- УДК 004.415 7
- 004.415 6
- UDC 004.415 5
- UDC 004.424 4
- formal verification 4
- УДК 004.424 4
- формальна верифікація 4
- IPCL 3
- UDC 004.415.2 3
- UDC 004.415.52 3
- algorithm 3
- composition-nominative languages 3
- concurrent program 3
- data 3
- interleaving 3
- programming 3
- УДК 004.415.2 3
- УДК 004.415.52 3
- алгоритм 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- програмування 3
- формальная верификация 3
- Model-Driven Development 2
- Requirement Analysis 2
- Software Model Transformation 2
-
1
Development of integrated system of scientific periodicals based on the OJS
Published in PROBLEMS IN PROGRAMMING (2017)Get full text
Article -
2
Data Integration in the Internet: Linked data
Published in PROBLEMS IN PROGRAMMING (2026)Get full text
Article -
3
About construction of digital library models
Published in PROBLEMS IN PROGRAMMING (2026)Get full text
Article -
4
The usage of ontologies for semantics analysis of texts on natural language
Published in PROBLEMS IN PROGRAMMING (2026)Get full text
Article -
5
-
6
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
7
Regression testing: techniques and future research directions
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
8
-
9
About one Approach for the Verification of Algebraic Computations
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
10
Entity-substance characteristics of educational environment
Published in PROBLEMS IN PROGRAMMING (2026)Get full text
Article -
11
-
12
-
13
An approach to behavioral software models refinement using design patterns
Published in PROBLEMS IN PROGRAMMING (2025)Get full text
Article -
14
Metrics selection for the software properties
Published in PROBLEMS IN PROGRAMMING (2026)Get full text
Article -
15
Monitoring design flaws in object-oriented software
Published in PROBLEMS IN PROGRAMMING (2026)Get full text
Article -
16
DS-theory. Presentation of canonical algorithm by means of algorithmic language
Published in PROBLEMS IN PROGRAMMING (2017)Get full text
Article -
17
Formal model of scientific publication
Published in PROBLEMS IN PROGRAMMING (2015)Get full text
Article -
18
DS-theory. The research of P-data factors formating
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
19
On the possibility of a systematic study of the production management systems
Published in PROBLEMS IN PROGRAMMING (2018)
Get full text
Article -
20
Decision support system for quality management in study process
Published in PROBLEMS IN PROGRAMMING (2020)
Get full text
Article