Результати пошуку - "UDC 004.415"
Рекомендовані теми у межах Вашого пошуку.
Рекомендовані теми у межах Вашого пошуку.
- 10
- formal verification 4
- УДК 004.415 4
- УДК 004.415.2.045 (076.5) 4
- формальна верифікація 4
- IPCL 3
- UDC 004.415 3
- UDC 004.415.2 3
- UDC 004.415.2.045 (076.5) 3
- UDC 004.415.52 3
- composition-nominative languages 3
- concurrent program 3
- interleaving 3
- УДК 004.415.2 3
- УДК 004.415.52 3
- композиционно-номинативные языки 3
- композиційно-номінативні мови 3
- параллельная программа 3
- формальная верификация 3
- Model-Driven Development 2
- UDC 004.415.2.045 (076.5) 2
- safety property proof 2
- software correctness 2
- доказательство частичной корректности 2
- коректність програмного забезпечення 2
- корректность программного обеспечения 2
- паралельна програма 2
- 004.492 1
- 004.89 1
- 681.3 1
-
1
Data Integration in the Internet: Linked data
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття -
2
About construction of digital library models
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття -
3
The usage of ontologies for semantics analysis of texts on natural language
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття -
4
Traversal of arbitrary sequences of UCM symbolic transitions for test generation
Опубліковано в PROBLEMS IN PROGRAMMING (2025)Отримати повний текст
Стаття -
5
Regression testing: techniques and future research directions
Опубліковано в PROBLEMS IN PROGRAMMING (2025)Отримати повний текст
Стаття -
6
About one Approach for the Verification of Algebraic Computations
Опубліковано в PROBLEMS IN PROGRAMMING (2025)Отримати повний текст
Стаття -
7
Entity-substance characteristics of educational environment
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття -
8
An approach to behavioral software models refinement using design patterns
Опубліковано в PROBLEMS IN PROGRAMMING (2025)Отримати повний текст
Стаття -
9
Metrics selection for the software properties
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття -
10
Monitoring design flaws in object-oriented software
Опубліковано в PROBLEMS IN PROGRAMMING (2026)Отримати повний текст
Стаття -
11
Decision support system for quality management in study process
Опубліковано в PROBLEMS IN PROGRAMMING (2020)
Отримати повний текст
Стаття -
12
A GPU-based singular value decomposition algorithm
Опубліковано в PROBLEMS IN PROGRAMMING (2023)
Отримати повний текст
Стаття -
13
Correctness Property Proof for the Banking System for Money Transfer Payments
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
14
Equivalence of two parallel execution systems
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
15
Peterson’s algorithm Total correctness proof in IPCL
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття -
16
Agile requirement analysis approach using artificial intelligent technologies
Опубліковано в PROBLEMS IN PROGRAMMING (2024)
Отримати повний текст
Стаття -
17
Formal verification of deep neural networks
Опубліковано в PROBLEMS IN PROGRAMMING (2024)
Отримати повний текст
Стаття -
18
Formal foundations for software model to model transformation operation
Опубліковано в PROBLEMS IN PROGRAMMING (2018)
Отримати повний текст
Стаття