Зображення обкладинки

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS

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 approa...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2026
Випуск:2-3
Сторінки:340-348
ISSN:1727-4907
Автори та афіліації:
  • M.A. Bezverha — National Aviation University
  • P.P. Protsyk — National Aviation University
Ключові слова:формальна верифікація, спеціальні програмні засоби, програмні інстру- менти, мови програмування, програмна процедура, програма перевірки, верифікація, сертифікація програмних систем, програмна реалізація, автоматизація програмування
Автори: Bezverha, M.A., Protsyk, P.P.
Формат: Стаття
Мова:Українська
Опубліковано: PROBLEMS IN PROGRAMMING 2026
Теми:
UDC 681.3.06
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/920
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming
Опис
Резюме: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.Problems in programming 2010; 2-3: 340-348
ISSN:1727-4907

Схожі ресурси