Доказательное проектирование алгоритмов функционирования реактивных систем
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Доказательное проектирование алгоритмов функционирования реактивных систем
|
|
| Creator |
Чеботарев, А.Н.
Головинский, А.Л. |
|
| Subject |
Архитектура, алгоритмическое и программное обеспечение интеллектуальных многопроцессорных систем
|
|
| 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. |
|
| Date |
2010-03-25T12:17:38Z
2010-03-25T12:17:38Z 2008 |
|
| Type |
Article
|
|
| Identifier |
Доказательное проектирование алгоритмов функционирования реактивных систем / А.Н. Чеботарев, А.Л. Головинский // Штучний інтелект. — 2008. — № 3. — С. 771-780. — Бібліогр.: 25 назв. — рос.
1561-5359 http://dspace.nbuv.gov.ua/handle/123456789/7164 519.713.1 |
|
| Language |
ru
|
|
| Publisher |
Інститут проблем штучного інтелекту МОН України та НАН України
|
|