Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2026
Heft:2-3
Сторінки:340-348
ISSN:1727-4907
Автори та афіліації:
  • M.A. Bezverha — National Aviation University
  • P.P. Protsyk — National Aviation University
Ключові слова:формальна верифікація, спеціальні програмні засоби, програмні інстру- менти, мови програмування, програмна процедура, програма перевірки, верифікація, сертифікація програмних систем, програмна реалізація, автоматизація програмування
Hauptverfasser: Bezverha, M.A., Protsyk, P.P.
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
Schlagworte:
UDC 681.3.06
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/920
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Institution

Problems in programming

Ähnliche Einträge

Ähnliche Einträge