migrator 相关硕士博士期刊学术论文

从形式化系统理论出发，介绍形式化系统的组成和性质、形式化系统的发展，阐述了形式化系统理论在描述反应式软件系统行为状态变化理论......