Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації
| dc.contributor.author | Пустоваров, В. І. | |
| dc.date.accessioned | 2013-11-27T13:20:33Z | |
| dc.date.available | 2013-11-27T13:20:33Z | |
| dc.date.issued | 2008 | |
| dc.description.abstracten | The approach to the complex task decision for analytical support of software analysis and synthesis is considered. Key elements of such approach use representation formats for specification headers contents of task decision resources (TDR) and knowledge base for analogues search, a choice of best components, use of transformation rules and decomposition mechanisms for TDR. It is shown, that application of such knowledge bases allows using the most of the previous software, and making values of target semantic variables extremely close to restriction requirements and criteria of processing speed. | uk |
| dc.description.abstractuk | Розглянуто підхід до комплексного розв’язання задач аналітичної підготовки аналізу і синтезу програмного забезпечення. Ключові елементи такого підходу складають формати подання заголовків специфікацій і змісту ресурсів розв’язання задач (РРЗ) і база знань, що систематизує пошук аналогів, вибір близьких компонентів, використання правил перетворень та механізми декомпозиції РРЗ. Показано, що застосування таких баз знань дозволяє максимально використати попередні розробки і гранично наблизити значення цільових семантичних змінних до вимог обмежень і критеріїв щодо характеристик обробки. | uk |
| dc.format.pagerange | С. 42-47 | uk |
| dc.identifier.citation | Пустоваров В. І.Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2008. – № 49. – С. 42–47. – Бібліогр.: 7 назв. | uk |
| dc.identifier.uri | https://ela.kpi.ua/handle/123456789/6112 | |
| dc.language.iso | uk | uk |
| dc.publisher | Век+ | uk |
| dc.publisher.place | Київ | uk |
| dc.source | Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць | uk |
| dc.source.name | Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка | uk |
| dc.status.pub | published | uk |
| dc.subject.udc | 681.3.06 | uk |
| dc.title | Побудова баз знань для сумісного створення програм і обладнання та їх формальної верифікації | uk |
| dc.type | Article | uk |
| thesis.degree.level | - | uk |
Файли
Контейнер файлів
1 - 1 з 1
Ліцензійна угода
1 - 1 з 1
Ескіз недоступний
- Назва:
- license.txt
- Розмір:
- 1.71 KB
- Формат:
- Item-specific license agreed upon to submission
- Опис: