Супроводження контролю відповідності програм і моделей формальним специфікаціям задач

Скорочена інформація про документ
dc.contributor.authorПустоваров, В. І.
dc.date.accessioned2013-12-06T10:31:19Z
dc.date.available2013-12-06T10:31:19Z
dc.date.issued2007
dc.description.abstractenThe proofing mechanisms of object-oriented programming are proposed for tasks with mutual transformations of program codes and formal specifications. Those mechanisms were used for justification to analytical data type which maybe built into programming languages and systems. Proposed approach allows automated proofing transformations of program codes and specifications in programming and simulation system for tasks of formal verification and code synthesis.uk
dc.description.abstractukЗапропоновано механізми автоматизації доказового об’єктно-орієнтованого програмування задач за специфікаціями на базі контролю семантичної коректності взаємних перетворень кодів програм та специфікацій. Через ці механізми обґрунтовано використання аналітичного типу даних, який можна вбудувати до мов і систем програмування. Запропонований підхід дозволяє автоматизувати доказові перетворення кодів і специфікацій в системах автоматизації програмування і моделювання для задач формальної верифікації та синтезу кодів.uk
dc.format.pagerangeС. 269-279uk
dc.identifier.citationПустоваров В. І. Супроводження контролю відповідності програм і моделей формальним специфікаціям задач / В. І. Пустоваров // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2007. – № 47. – С. 269–279. – Бібліогр.: 7 назв.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/6317
dc.language.isoukuk
dc.publisherВек+uk
dc.publisher.placeКиївuk
dc.sourceВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових працьuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна технікаuk
dc.status.pubpublisheduk
dc.subject.udc681.3.06uk
dc.titleСупроводження контролю відповідності програм і моделей формальним специфікаціям задачuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
47_29.pdf
Розмір:
263.16 KB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
1.71 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка: збірник наукових праць, № 47