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

• Date: 2010
• Main Authors: Безверха, М.А., Процик, П.П.
• Format: Article
• Language: Ukrainian
• Published: Інститут програмних систем НАН України 2010
• Subjects: Формальні методи програмування
• Online Access: http://dspace.nbuv.gov.ua/handle/123456789/14631
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Конструювання та верифікація програм на основі специфікацій у композиційно-номінативній мові CNLS / М.А. Безверха, П.П. Процик// Пробл. програмув. — 2010. — № 2-3. — С. 340-348. — Бібліогр.: 15 назв. — укр.

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