安努列夫，I.S。 特定于项目的过渡系统。 （英文） Zbl 1374.68110号 Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 34, 1-21 (2012). 摘要：提出了一种新的标记转换系统，即特定于程序的转换系统。这些系统用于形式化和统一程序处理的某些方面。考虑了程序操作语义的开发和程序安全属性的证明等方面，并定义了特定于程序的转换系统的适当类。本体转换系统和操作本体语义是根据特定于程序的转换系统定义的。 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 68问题55 计算理论中的语义学 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 68立方英尺 知识表示 关键词：过渡系统 软件：原子;C-浅色 PDF格式BibTeX公司 XML格式引用 \textit{I.S.Anureev}，Jt。牛市。NCC IIS，序列号。计算。科学。34，1-21（2012年；兹bl 1374.68110） 全文： 链接