Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
|
|
| Creator |
Безверха, М.А.
Процик, П.П. |
|
| Subject |
Формальні методи програмування
|
|
| Description |
Ця робота продовжує цикл попередніх досліджень, головною метою яких було створення ефективних мов, підходів та програмних засобів розробки якісних програмних систем з використанням формальних методів. На основі побудованих раніше мов специфікації, програмування та математичного апарата представляються практичні підходи автоматизованої побудови та верифікації програм на основі специфікацій. Зокрема, методи перетворення специфікацій у код програми, використання спеціальних засобів мови для автоматичного створення тестових прикладів та можливостей мови по застосуванню методів верифікації під час виконання. This work continues the series of previous studies whose primary purpose was creating efficient languages, approaches and software tools for development of quality software systems using formal methods. On the basis of developed specification and programming languages we present new practical approaches for automated construction and verification of programs based on formal specifications. In particular, methods of conversion specifications in the program code, the use of special means of language to automatically create test cases and language capabilities for the application of run-time verification. |
|
| Date |
2010-12-27T13:44:15Z
2010-12-27T13:44:15Z 2010 |
|
| Type |
Article
|
|
| Identifier |
Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS / М.А. Безверха, П.П. Процик// Пробл. програмув. — 2010. — № 2-3. — С. 340-348. — Бібліогр.: 15 назв. — укр.
1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/14631 681.3.06 |
|
| Language |
uk
|
|
| Publisher |
Інститут програмних систем НАН України
|
|