Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS

Ця робота продовжує цикл попередніх досліджень, головною метою яких було створення ефективних мов, підходів та програмних засобів розробки якісних програмних систем з використанням формальних методів. На основі побудованих раніше мов специфікації, програмування та математичного апарата представляю...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2010
Hauptverfasser:	Безверха, М.А., Процик, П.П.
Format:	Artikel
Sprache:	Ukrainian
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

id	nasplib_isofts_kiev_ua-123456789-14631
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
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
title	Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
spellingShingle	Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS Безверха, М.А. Процик, П.П. Формальні методи програмування
title_short	Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
title_full	Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
title_fullStr	Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
title_full_unstemmed	Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS
title_sort	конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові cnls
author	Безверха, М.А. Процик, П.П.
author_facet	Безверха, М.А. Процик, П.П.
topic	Формальні методи програмування
topic_facet	Формальні методи програмування
publishDate	2010
language	Ukrainian
publisher	Інститут програмних систем НАН України
format	Article
title_alt	Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
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.
issn	1727-4907
url	https://nasplib.isofts.kiev.ua/handle/123456789/14631
citation_txt	Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS / М.А. Безверха, П.П. Процик// Пробл. програмув. — 2010. — № 2-3. — С. 340-348. — Бібліогр.: 15 назв. — укр.
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
first_indexed	2025-12-07T17:56:06Z
last_indexed	2025-12-07T17:56:06Z
_version_	1850873129585344512

Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS

Institution

Ähnliche Einträge