Предметно-ориентированные системы переходов: объектная модель и язык

Domain-specific transition systems: object model and language

Article's language
Russian
Author(s)
Igor Sergeevich Anureev
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.
Keywords
domain-specific transition systems
semantics
verification
ontology
DOI
10.31144/si.2307-6410.2013.n1.p1-34
UDK
004.05
Pages
1-34
File
anureev.pdf201.96 KB
Number
# 1, 2013