Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
Ця робота продовжує цикл попередніх досліджень, головною метою яких було створення ефективних мов, підходів та програмних
 засобів розробки якісних програмних систем з використанням формальних методів. На основі побудованих раніше мов
 специфікації, програмування та математичного апа...
Gespeichert in:
| Datum: | 2010 |
|---|---|
| Hauptverfasser: | , |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2010
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/14631 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS / М.А. Безверха, П.П. Процик// Пробл. програмув. — 2010. — № 2-3. — С. 340-348. — Бібліогр.: 15 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862715081909862400 |
|---|---|
| author | Безверха, М.А. Процик, П.П. |
| author_facet | Безверха, М.А. Процик, П.П. |
| citation_txt | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS / М.А. Безверха, П.П. Процик// Пробл. програмув. — 2010. — № 2-3. — С. 340-348. — Бібліогр.: 15 назв. — укр. |
| collection | DSpace DC |
| 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.
|
| first_indexed | 2025-12-07T17:56:06Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-14631 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T17:56:06Z |
| publishDate | 2010 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Безверха, М.А. Процик, П.П. 2010-12-27T13:44:15Z 2010-12-27T13:44:15Z 2010 Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS / М.А. Безверха, П.П. Процик// Пробл. програмув. — 2010. — № 2-3. — С. 340-348. — Бібліогр.: 15 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/14631 681.3.06 Ця робота продовжує цикл попередніх досліджень, головною метою яких було створення ефективних мов, підходів та програмних
 засобів розробки якісних програмних систем з використанням формальних методів. На основі побудованих раніше мов
 специфікації, програмування та математичного апарата представляються практичні підходи автоматизованої побудови та
 верифікації програм на основі специфікацій. Зокрема, методи перетворення специфікацій у код програми, використання
 спеціальних засобів мови для автоматичного створення тестових прикладів та можливостей мови по застосуванню методів
 верифікації під час виконання. 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. uk Інститут програмних систем НАН України Формальні методи програмування Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS Specification Based Program Construction and Verification in Composition-Nominative Language CNLS Article published earlier |
| spellingShingle | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS Безверха, М.А. Процик, П.П. Формальні методи програмування |
| title | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS |
| title_alt | Specification Based Program Construction and Verification in Composition-Nominative Language CNLS |
| title_full | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS |
| title_fullStr | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS |
| title_full_unstemmed | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS |
| title_short | Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS |
| title_sort | конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові cnls |
| topic | Формальні методи програмування |
| topic_facet | Формальні методи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/14631 |
| work_keys_str_mv | AT bezverhama konstruûvannâtaverifíkacíâprogramnaosnovíspecifíkacíiukompozicíinonomínativníimovícnls AT procikpp konstruûvannâtaverifíkacíâprogramnaosnovíspecifíkacíiukompozicíinonomínativníimovícnls AT bezverhama specificationbasedprogramconstructionandverificationincompositionnominativelanguagecnls AT procikpp specificationbasedprogramconstructionandverificationincompositionnominativelanguagecnls |