Representation of the program model using predicates

The object of research in this article is the process of modeling programs and their subsequent development. The purpose of this article is to develop a methodology for describing and building software models in the form of nondeterministic finite automat. To achieve this goal, a task was set to imp...

Celý popis

Podrobná bibliografie

Vydáno v:	Radìoelektronnì ì komp'ûternì sistemi (Online) Ročník 2024; číslo 1; s. 6 - 16
Hlavní autoři:	Holub, Serhii, Salapatov, Volodymyr, Nemchenko, Vadym
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	National Aerospace University «Kharkiv Aviation Institute 28.02.2024
Témata:	an indeterminate finite automaton predicate procedural programming language temporal logic
ISSN:	1814-4225, 2663-2012
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!