Механізми включення засобів формальних специфікацій до баз знань комп'ютерних мов
| dc.contributor.author | Пустоваров, В. І. | |
| dc.date.accessioned | 2013-09-21T09:15:47Z | |
| dc.date.available | 2013-09-21T09:15:47Z | |
| dc.date.issued | 2011 | |
| dc.description.abstracten | Rising of level for the complex task decision in hardware/software co-design systems require storage of types, restriction, relations and affectivity criterion specifications. For implementation of automated type definition task during formal verification and code, there are proposed using of different element of computer and multimedia languages or specifications. It is shown, that application of such representations permit to organize effective processing of CAD knowledge bases and their using for proved synthesis of advanced programs and models. | uk |
| dc.description.abstractuk | Розв’язання задач підвищення рівня автоматизації сучасних систем програмування і верифікації розроблених програмних засобів вимагає збереження специфікацій типів, проблемних галузей, програмних об‘єктів та критеріїв ефективності реалізацій програм. Для реалізації задач автоматизованого визначення типів та формального синтезу, верифікації і формування виконавчих кодів пропонується відображення різних потрібних елементів специфікацій комп’ютерних мов в різних форматах графів подання мов та сучасних засобів мультимедіа. Використання таких представлень забезпечує гранично ефективне звертання до баз знань попередніх рішень при доказовій побудови нових і вдосконалених програм і моделей. | uk |
| dc.format.pagerange | С. 142-148 | uk |
| dc.identifier.citation | Пустоваров В. І. Механізми включення засобів формальних специфікацій до баз знань комп'ютерних мов / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2011. – № 53. – С. 142–148. – Бібліогр.: 10 назв. | uk |
| dc.identifier.uri | https://ela.kpi.ua/handle/123456789/3822 | |
| 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
- Опис: