Доказательное проектирование алгоритмов функционирования реактивных систем

Доказательное проектирование алгоритмов функционирования реактивных систем

Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения. Опис...

Full description

Saved in:
Bibliographic Details
Date:2008
Main Authors: Чеботарев, А.Н., Головинский, А.Л.
Format: Article
Language:Russian
Published: Інститут проблем штучного інтелекту МОН України та НАН України 2008
Subjects:
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/7164
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-7164
record_format dspace
spelling Чеботарев, А.Н.
Головинский, А.Л.
2010-03-25T12:17:38Z
2010-03-25T12:17:38Z
2008
Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос.
1561-5359
https://nasplib.isofts.kiev.ua/handle/123456789/7164
519.713.1
Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения.
Описується підхід до доказового проектування реактивних алгоритмів, що розвивається в Інституті кібернетики ім. В.М. Глушкова НАН України. Розглядаються основні проблеми, які виникають при проектуванні реактивних алгоритмів, що специфіковані логічною мовою L, та методи їх розв’язання.
An approach to provably-correct design of reactive algorithms is described, that has been developed at the Glushkov Institute of Cybernetics of the Ukrainian Academy of Sciences. The basic problems arising in the design of reactive algorithms specified in the logical language L, and methods to solve them are considered.
ru
Інститут проблем штучного інтелекту МОН України та НАН України
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
Доказательное проектирование алгоритмов функционирования реактивных систем
Доказове проектування алгоритмів функціонуванняя реактивних систем
Provably-correct Design of Algorithms of Reactive Systems Functioning
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Доказательное проектирование алгоритмов функционирования реактивных систем
spellingShingle Доказательное проектирование алгоритмов функционирования реактивных систем
Чеботарев, А.Н.
Головинский, А.Л.
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
title_short Доказательное проектирование алгоритмов функционирования реактивных систем
title_full Доказательное проектирование алгоритмов функционирования реактивных систем
title_fullStr Доказательное проектирование алгоритмов функционирования реактивных систем
title_full_unstemmed Доказательное проектирование алгоритмов функционирования реактивных систем
title_sort доказательное проектирование алгоритмов функционирования реактивных систем
author Чеботарев, А.Н.
Головинский, А.Л.
author_facet Чеботарев, А.Н.
Головинский, А.Л.
topic Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
topic_facet Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
publishDate 2008
language Russian
publisher Інститут проблем штучного інтелекту МОН України та НАН України
format Article
title_alt Доказове проектування алгоритмів функціонуванняя реактивних систем
Provably-correct Design of Algorithms of Reactive Systems Functioning
description Описывается подход к доказательному проектированию реактивных алгоритмов, развиваемый в Институте кибернетики имени В.М. Глушкова НАН Украины. Рассматриваются основные проблемы, возникающие при проектировании реактивных алгоритмов, специфицированных в логическом языке L, и методы их решения. Описується підхід до доказового проектування реактивних алгоритмів, що розвивається в Інституті кібернетики ім. В.М. Глушкова НАН України. Розглядаються основні проблеми, які виникають при проектуванні реактивних алгоритмів, що специфіковані логічною мовою L, та методи їх розв’язання. An approach to provably-correct design of reactive algorithms is described, that has been developed at the Glushkov Institute of Cybernetics of the Ukrainian Academy of Sciences. The basic problems arising in the design of reactive algorithms specified in the logical language L, and methods to solve them are considered.
issn 1561-5359
url https://nasplib.isofts.kiev.ua/handle/123456789/7164
citation_txt Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос.
work_keys_str_mv AT čebotarevan dokazatelʹnoeproektirovaniealgoritmovfunkcionirovaniâreaktivnyhsistem
AT golovinskiial dokazatelʹnoeproektirovaniealgoritmovfunkcionirovaniâreaktivnyhsistem
AT čebotarevan dokazoveproektuvannâalgoritmívfunkcíonuvannââreaktivnihsistem
AT golovinskiial dokazoveproektuvannâalgoritmívfunkcíonuvannââreaktivnihsistem
AT čebotarevan provablycorrectdesignofalgorithmsofreactivesystemsfunctioning
AT golovinskiial provablycorrectdesignofalgorithmsofreactivesystemsfunctioning
first_indexed 2025-12-07T18:33:19Z
last_indexed 2025-12-07T18:33:19Z
_version_ 1850875470875197440

Similar Items