Результати пошуку - "004.415"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 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
-
21
Interactive method for cumulative analysis of software formal models behavior
Опубліковано 2018Отримати повний текст
Стаття -
22
Domain engineering approach of software requirements analysis
Опубліковано 2020Отримати повний текст
Стаття -
23
Correctness Property Proof for the Banking System for Money Transfer Payments
Опубліковано 2018Отримати повний текст
Стаття -
24
-
25
Architecture and functionality of the decision support system SPOR
Опубліковано 2023Отримати повний текст
Стаття -
26
On the peculiarities of using sparse matrices in problems of mathematical modeling
Опубліковано 2023Отримати повний текст
Стаття -
27
An approach of intelligent searching of information in texts
Опубліковано 2023Отримати повний текст
Стаття -
28
-
29
Agile requirement analysis approach using artificial intelligent technologies
Опубліковано 2024Отримати повний текст
Стаття -
30
-
31
Formal foundations for software model to model transformation operation
Опубліковано 2018Отримати повний текст
Стаття