Перегляд Проблеми програмування, 2008 за темою "Інструментальні засоби і середовища програмування"
-
Hudak, S.; Korecko, S.; Simonak, S.
(2008)
Annotation. In this paper we deal with the PNtool - a tool for a design, analysis and development of concurrent and time-critical systems specified using the Petri nets (PN) formalism. The PNtool supports four Petri nets ...
-
Федоров, И.В.
(2008)
Рассмотрена актуальная проблема повышения производительности запросов в программных системах, поддерживающих базы данных. С целью повысить производительность, предлагается вариация модели хранения вложенных отношений, ...
-
Хмелюк, В.С.; Амонс, О.А.
(2008)
Аналізується проблема програмної підтримки автоматизації генерації електронних документів, розглядаються основні підходи до автоматизації генерації електронних документів в системах організаційного керування, запропоновано ...
-
Акуловский, В.Г.
(2008)
Предложены подходы к контролю корректности алгоритмов на основе анализа специфицируемых данных и подходы к оптимизации последовательных алгоритмов в результате преобразования потоков данных.--------------
-
Чугаенко, А.В.; Крывый, С.Л.
(2008)
Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри
может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм ...
-
Галаган, Т.Н.; Пепеляев, В.А.; Сахнюк, М.А.
(2008)
Представлен один из возможных подходов к разработке многофункциональной программной среды, интегрирующей возможности методов и средств имитационного моделирования, метоэвристических оптимизационных стратегий, технологий ...
-
Колчин, А.В.
(2008)
Разработан программный комплекс для автоматической проверки динамических свойств формальных моделей и построения
тестовых сценариев. Описаны методы направленного поиска, а так же методы оптимизации обхода пространства поведения.
-
Пригожев, А.С.; Алешкина, Е.И.; Бабичева, М.В.; Вовк, А.В; Писаренко, В.А.
(2008)
Рассматриваются подходы к проектированию экспертной системы поддержки пользователя. Сформулированы основные теорети-ческие положения, на которых основывается разработка базы знаний для экспертной системы. Разработаны методы ...
-
Дорошенко, А.Е.; Яценко, Е.А.
(2008)
Предложен подход к формализованной разработке параллельных программ на основе использования онтологий и аппарата алгебры алгоритмов. С помощью онтологии описываются основные объекты разрабатываемой программы из выбранной ...
-
Дорошенко, А.Е.; Яценко, Е.А.; Жереб, К.А.
(2008)
Предложен метод проектирования и синтеза MPI-программ, который основывается на алгеброалгоритмическом подходе. Разработана методика применения системы переписывающих правил для автоматизированной трансформации последовательных ...