Search Results - "004.415"
Suggested Topics within your search.
Suggested Topics within your search.
- 9
- 004.415 6
- UDC 004.415.2.045 (076.5) 6
- УДК 004.415.2.045 (076.5) 6
- UDC 004.424 4
- formal verification 4
- УДК 004.424 4
- формальна верифікація 4
- IPCL 3
- UDC 004.415 3
- UDC 004.415.52 3
- algorithm 3
- composition-nominative languages 3
- concurrent program 3
- data 3
- interleaving 3
- programming 3
- УДК 004.415 3
- УДК 004.415.52 3
- алгоритм 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- програмування 3
- формальная верификация 3
- Model-Driven Development 2
- Requirement Analysis 2
- Software Model Transformation 2
- UDC 004.415.2 2
- UDC 004.415.5 2
-
1
Development of integrated system of scientific periodicals based on the OJS
Published 2017Get full text
Article -
2
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Published 2025Get full text
Article -
3
-
4
-
5
About one Approach for the Verification of Algebraic Computations
Published 2025Get full text
Article -
6
-
7
-
8
An approach to behavioral software models refinement using design patterns
Published 2025Get full text
Article -
9
DS-theory. Presentation of canonical algorithm by means of algorithmic language
Published 2017Get full text
Article -
10
-
11
-
12
On the possibility of a systematic study of the production management systems
Published 2018Get full text
Article -
13
Decision support system for quality management in study process
Published 2020Get full text
Article -
14
Efficient increasing of the mutation score during model-based test suite generation
Published 2020Get full text
Article -
15
-
16
-
17
The architecture and functionality of the multi-agent system Navigation
Published 2018Get full text
Article -
18
-
19
-
20