Abstract
The paper presents a new object model of domain-specific transition systems, a formalism designed for the specification and validation of formal methods for assuring software reliability. A formal definition of a model programming language is given on the basis of this model.
DOI
10.31144/bncc.cs.2542-1972.2014.n37.p23-39
File
bul2014anureev.pdf126.86 KB
Pages
23-39