Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування за назвою

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування за назвою

Сортувати за: Порядок: Результатів:

  • Table interpretation of the temporal description logic LTLALC 
    Reznichenko, V.A.; Chystiakova, I.S. (Проблеми програмування, 2022)
    Description logics are widely used to describe and represent knowledge in the Semantic Web. This is a modern and powerful mechanism that provides the possibility of extracting knowledge from already existing ones. Thanks ...
  • Technological trends & software engineering education: a systematic review study 
    Nesterenko, O.V. (Проблеми програмування, 2022)
    The quality of software engineering education is influenced by the consideration of modern industrial trends, IT trends and software development methodologies. The transition to a new level of industry - “Industry 4.0”, ...
  • TermWare-3 – система переписування термів, заснована на контекстному численні 
    Шевченко, Р.С.; Дорошенко, А.Ю. (Проблеми програмування, 2019)
    У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...
  • Tete-A-Tete Project: software engineering tools supporting understanding 
    Hrytsay, V.P.; Zakhariya, L.M. (Проблеми програмування, 2012)
    Software Understanding is necessary and the most important condition of essential reducing of software development cost. In this paper Tete-A-Tete Project is described which offers a radical rethinking of Software Development ...
  • The concept and evaluating of big data quality in the semantic environment 
    Novitsky, A.V. (Проблеми програмування, 2022)
    Big data refers to large volumes, complex data sets with various autonomous sources, characterized by continuous growth. Data storage and data collection capabilities are now rapidly expanding in all fields of science and ...
  • The practical aspect of using the artificial intellectual technology for building a multidimentional function CFAR for smart-handled LPI radar 
    Kosovets, M.; Tovstenko, L. (Проблеми програмування, 2020)
    The problem of the development of modern mobile smart-handled LPI radars using artificial intelligence technologies, the main difference of which is the construction of the CFAR function, which takes into account the ...
  • The problem of developing the architecture of modern cognitive radar system 
    Коsovets, M.; Tovstenko, L. (Проблеми програмування, 2022)
    The problem of developing the architecture of modern cognitive radar systems using artificial intelligence technologies is considered. The main difference from traditional systems is the use of a trained neural network. The ...
  • Toward software artifacts ecosystem 
    Sydorov, N.A. (Проблеми програмування, 2020)
    In the process of developing and maintaining a software product, many things are created and used that are called software artefacts. Software artifacts are created, changed, reused, and change relationships in the development ...
  • Toward software engineering ecosystems definition 
    Sydorov, M.O. (Проблеми програмування, 2022)
    Nowadays, the fundamental science of software engineering is being formed. It should represent knowledge that meets the requirements of the concept of sustainable development. This fundamental science could be named as the ...
  • Traversal of arbitrary sequences of UCM symbolic transitions for test generation 
    Guba, A.A. (Проблеми програмування, 2014)
    The paper proposes a method of traversal of high-level multi-threaded models formalized in UCM language. The pros and cons of this approach comparing to the existing ones are considered. The method that allows state space ...
  • Two-level algorithms for Rannacher-Turek FEM 
    Georgiev, I.; Kraus, J.; Margenov, S. (2006)
    In this paper a multiplicative two-level preconditioning algorithm for second order elliptic boundary value problems is considered, where the discretization is done using Rannacher-Turek non-conforming rotated bilinear ...
  • «UFO-toolkit» – BI-инструментарий нового поколения 
    Маторин, С.И.; Попов, А.С. (2005)
    Рассмотрены системно-объективная методология УФО-моделирования, функциональные возможности BI-инструментария новой генерации – UFO-tookit, проведено сравнение с Bpwin, анализируются направления развития.
  • Use of metods of algebraic programming for the formal verification of legal acts 
    Peschanenko, V.; Poltorackiy, M. (Проблеми програмування, 2018)
    This article briefly describes the programmable tool for the analysis of a normative legal document. A mechanism for checking legal requirements is presented. The model of the legal document is proposed in the form of a ...
  • UWN: Універсальна онтологічна база знань укранської мови 
    Анісімов, А.В.; Марченко, О.О.; Никоненко, А.О. (Проблеми програмування, 2012)
    Дана стаття описує мету та основні задачі, які ставилися розробниками при створенні онтології UWN. Детально розглянуто архітектуру створеної системи, структуру збереження знань, механізми доступу до знань, внутрішню логіку ...
  • Voice quality assessment during voice transmission 
    Kleinová, K.; Bača, J.; Jakab, F.; Feciľak, P. (2008)
    Описано систему оценки качества голоса включая определение порога шума в течении передачи голоса различными сетевыми технологиями. Развитие передачи голоса интернет протоколом (VoIP) предпочитает решение проблем относящихся ...
  • WEB-система оцінювання рівня регіонального розвитку 
    Пурський, О.І.; Мельник, Т.М.,; Харченко, О.Н.; Гамалій, В.Ф. (Проблеми програмування, 2020)
    Робота присвячена розробці засобів автоматизації процесів оцінювання рівня соціально-економічного розвитку регіонів України. В роботі представлено метод автоматизованого визначення інтегральних показників на основі спільного ...
  • Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation 
    Goerigk, Wolfgang; Langmaack, Hans (2003)
    The present and the previous article on Realistic Correct Systems Implementation together address correct construction and functioning of large computer based systems. In view of so many annoying and dangerous system ...
  • Автоматизация контроля применения стиля языка программирования 
    Крамар, Ю.М. (2004)
    Приводится описание процесса контроля применения стиля языка программирования и устройства, автоматизирующего данный процесс, описывается математическая модель устройства и алгоритм его функционирования. Представляются ...
  • Автоматизация этапов разработки и эксплуатации имитационных моделей транспортных систем 
    Максимей, И.В.; Сукач, Е.И.; Ерофеева, Е.А.; Гируц, П.В. (2008)
    Рассматриваются принципы формализации транспортных систем, функционирующих в условиях случайных воздействий, приведена структура специализированного комплекса автоматизации имитационного моделирования транспортных систем ...
  • Автоматизація процесу створення нових цілей у XCODE проєкті 
    Журба, М.А.; Стеценко, І.В. (Проблеми програмування, 2023)
    На сьогоднішній день розробка застосунків під мобільні пристрої стає все більш популярною, але разом з тим більш вартісною. У деяких бізнес-моделях використовуються однотипні застосунки, створені на одній кодовій базі, із ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис