Domain-specific transition systems: object model and language

Domain-specific transition systems: object model and language
Article's languageRussian
Author(s)
Abstract

This paper presents the object model and the language of domain-specific transition systems, a new formalism designed for specification and approbation of formal methods which ensure software reliability.

DOI10.31144/si.2307-6410.2013.n1.p1-34
UDK004.05
Issue # 1,
Pages1-34
File anureev.pdf (201.96 KB)
Bibliographic reference
Anureev, I. Domain-specific transition systems: object model and language. System Informatics 2013, 1, 1-34. https://doi.org/10.31144/si.2307-6410.2013.n1.p1-34.