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 2017Get full text
Article -
2
-
3
-
4
The usage of ontologies for semantics analysis of texts on natural language
Published 2026Get full text
Article -
5
-
6
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Published 2025Get full text
Article -
7
-
8
-
9
About one Approach for the Verification of Algebraic Computations
Published 2025Get full text
Article -
10
-
11
-
12
-
13
An approach to behavioral software models refinement using design patterns
Published 2025Get full text
Article -
14
-
15
-
16
DS-theory. Presentation of canonical algorithm by means of algorithmic language
Published 2017Get full text
Article -
17
-
18
-
19
On the possibility of a systematic study of the production management systems
Published 2018
Get full text
Article -
20
Decision support system for quality management in study process
Published 2020
Get full text
Article