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
Issue
Pages
23-39