Моделювання, верифікація та розробка програм

Скорочена інформація про документ
dc.contributor.authorСалапатов, В. І.
dc.contributor.authorSalapatov, V. I.
dc.date.accessioned2016-07-01T09:22:24Z
dc.date.available2016-07-01T09:22:24Z
dc.date.issued2014
dc.description.abstractenIn the paper the improvement of the method MODEL CHECKING in programming is considered. This technical problem consist of a number of requirements that are represented using temporal logic equations and used directly to build the automaton model for future programs. Therefore, when creating models at once by its verification, since the requirements will be implemented in the model creating. Further automaton model that represents the logical structure of the program used to create applications on any procedural programming language.uk
dc.description.abstractukУ статті розглядається удосконалення методу MODEL CHECKING при створенні програм. При цьому технічне завдання у вигляді низки вимог, які записуються за допомогою рівнянь темпоральної логіки, використовуються безпосередньо для побудови автоматної моделі майбутньої програми. Таким чином, при створенні моделі одразу здійснюється її верифікація, оскільки вимоги будуть виконуватись у процесі побудови моделі. В подальшому автоматна модель, яка являє собою логічну структуру програми, використовується для створення програми на будь-якій процедурній мові програмування.uk
dc.format.pagerangeС. 174-177uk
dc.identifier.citationСалапатов В. І. Моделювання, верифікація та розробка програм / Салапатов В. І. // Вісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових праць. – 2014. – Вип. 61. – С. 174–177. – Бібліогр.: 2 назви.uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/16780
dc.language.isoukuk
dc.publisherВЕК+uk
dc.publisher.placeКиївuk
dc.source.nameВісник НТУУ «КПІ». Інформатика, управління та обчислювальна техніка : збірник наукових працьuk
dc.status.pubpublisheduk
dc.subject.udc004.415.2.043uk
dc.titleМоделювання, верифікація та розробка програмuk
dc.title.alternativeModelling, verification and development programuk
dc.typeArticleuk
thesis.degree.level-uk

Файли

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

Зібрання

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