Development and substantiation of algorithms based on semantic properties
Examples of the development and validation of algorithms based on the use of the domain properties are shown. These properties are formulated in terms of semantic relationships that characterize the subject area of the developed algorithm.Prombles in programming 2014; 2-3: 151-159
Gespeichert in:
| Datum: | 2025 |
|---|---|
| Hauptverfasser: | Kryvyi, S.L., Maksymets, O.M. |
| Format: | Artikel |
| Sprache: | Russian |
| Veröffentlicht: |
PROBLEMS IN PROGRAMMING
2025
|
| Schlagworte: | |
| Online Zugang: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/706 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: | |
Institution
Problems in programmingÄhnliche Einträge
-
Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
von: Maksymets, O.M.
Veröffentlicht: (2015) -
Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025) -
Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025) -
On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015) -
Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)