Результати для "004.415" Показ 1 - 31 результатів із 31 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22004.415%22&type=Subject&lng=uk 31 0 50 An approach to behavioral software models refinement using design patterns Tue, 02 Dec 2025 15:45:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-702 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-702 Chebanyuk, O.B. Стаття 2025 Chebanyuk, O.B. 0 About one Approach for the Verification of Algebraic Computations Wed, 17 Sep 2025 09:24:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-823 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-823 Lvov, M.S. Стаття 2025 Lvov, M.S. 0 Correctness Property Proof for the Banking System for Money Transfer Payments Thu, 17 Jul 2025 10:04:35 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-187 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-187 Ostapovska, Yu.A. Стаття 2018 Ostapovska, Yu.A. 0 Traversal of arbitrary sequences of UCM symbolic transitions for test generation Thu, 17 Jul 2025 10:03:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-701 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-701 Guba, A.A. Стаття 2025 Guba, A.A. 0 On the peculiarities of using sparse matrices in problems of mathematical modeling Thu, 17 Jul 2025 10:01:50 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-525 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-525 Khimich, O.M. Стаття 2023 Khimich, O.M. 0 Decision support system for quality management in study process Thu, 17 Jul 2025 10:00:56 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-413 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-413 Komleva, N.O. Стаття 2020 Komleva, N.O. 0 Formal model of scientific publication Thu, 17 Jul 2025 09:58:48 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-88 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-88 Reznichenko, V.A. Стаття 2015 Reznichenko, V.A. 0 Static method of consistency and completeness checking in formal model of distributed software systems Thu, 17 Jul 2025 09:58:15 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-705 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-705 Kolchin, A.V. Стаття 2025 Kolchin, A.V. 0 An approach of intelligent searching of information in texts Thu, 17 Jul 2025 09:57:00 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-529 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-529 Chebanuyk, O.V. Стаття 2023 Chebanuyk, O.V. 0 Domain engineering approach of software requirements analysis Thu, 17 Jul 2025 09:56:01 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-408 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-408 Chebanyuk, O.V. Стаття 2020 Chebanyuk, O.V. 0 Description model of programming style ecosystem Thu, 17 Jul 2025 09:55:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-399 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-399 Sydorov, N.A. Стаття 2020 Sydorov, N.A. 0 Peterson’s algorithm Total correctness proof in IPCL Thu, 17 Jul 2025 09:54:40 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-186 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-186 Zhygallo, A.A. Стаття 2018 Zhygallo, A.A. 0 DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 1 Thu, 17 Jul 2025 09:54:18 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-143 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-143 Kolesnyk, V.G. Стаття 2017 Kolesnyk, V.G. 0 Regression testing: techniques and future research directions Thu, 17 Jul 2025 09:53:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-704 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-704 Moroz, H.B. Стаття 2025 Moroz, H.B. 0 Formal verification of deep neural networks Thu, 17 Jul 2025 09:52:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-644 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-644 Panchuk, B.O. Стаття 2024 Panchuk, B.O. 0 Agile requirement analysis approach using artificial intelligent technologies Thu, 17 Jul 2025 09:52:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-630 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-630 Chebanyuk, O.V. Стаття 2024 Chebanyuk, O.V. 0 Architecture and functionality of the decision support system SPOR Thu, 17 Jul 2025 09:52:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-563 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-563 Yalovets, A.L. Стаття 2023 Yalovets, A.L. 0 Toward software artifacts ecosystem Thu, 17 Jul 2025 09:51:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-444 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-444 Sydorov, N.A. Стаття 2021 Sydorov, N.A. 0 DS-theory. Presentation of canonical algorithm by means of algorithmic language Thu, 17 Jul 2025 09:48:47 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-124 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-124 Kolesnyk, V.G. Стаття 2017 Kolesnyk, V.G. 0 Метод доменного аналізу для ефективного моделювання процесів при проведенні експериментів з використанням програмного забезпечення Thu, 17 Jul 2025 09:47:37 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-66 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-66 Chebanyuk, E.V. Стаття 2015 Chebanyuk, E.V. 0 A GPU-based singular value decomposition algorithm Thu, 17 Jul 2025 09:46:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-556 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-556 Sukharskyi, S.S. Стаття 2023 Sukharskyi, S.S. 0 Efficient increasing of the mutation score during model-based test suite generation Thu, 17 Jul 2025 09:45:41 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-425 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-425 Kolchin, A. Стаття 2020 Kolchin, A. 0 Equivalence of two parallel execution systems Thu, 17 Jul 2025 09:44:36 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-270 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-270 Panchenko, T.V. Стаття 2018 Panchenko, T.V. 0 The architecture and functionality of the multi-agent system Navigation Thu, 17 Jul 2025 09:44:24 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-224 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-224 Yalovets, A.L. Стаття 2018 Yalovets, A.L. 0 Formal foundations for software model to model transformation operation Thu, 17 Jul 2025 09:39:19 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-274 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-274 Chebanyuk, O.V. Стаття 2018 Chebanyuk, O.V. 0 Development of integrated system of scientific periodicals based on the OJS Thu, 17 Jul 2025 09:38:25 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-150 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-150 Kudim, K.A. Стаття 2017 Kudim, K.A. 0 On the possibility of a systematic study of the production management systems Thu, 17 Jul 2025 09:34:16 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-319 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-319 Kolesnyk, V.G. Стаття 2018 Kolesnyk, V.G. 0 Interactive method for cumulative analysis of software formal models behavior Thu, 17 Jul 2025 09:33:54 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-273 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-273 Kolchin, A.V. Стаття 2018 Kolchin, A.V. 0 DS-theory. Scientific aspects and prospects for development Thu, 17 Jul 2025 09:33:38 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-218 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-218 Kolesnyk, V.G. Стаття 2018 Kolesnyk, V.G. 0 DS-theory. The research of P-data factors formating Thu, 17 Jul 2025 09:33:31 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-209 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-209 Kolesnyk, V.G. Стаття 2018 Kolesnyk, V.G. 0 DS-theory. Research of R-data division factors in order to generate applied algorithms. Part 2 Thu, 17 Jul 2025 09:33:07 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-155 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-155 Kolesnyk, V.G. Стаття 2017 Kolesnyk, V.G. 0