重写逻辑相关硕士博士期刊学术论文 - 皮皮文库

重写逻辑相关论文

MDA环境下元建模的OMCR方法研究

MDA是国际对象管理组织(OMG)为应对业务和技术的快速变化提出的一种开放、中立的系统开发方法和一组建模语言标准的集合。MDA以模......

学位

模型驱动构架元建模可执行代数规范重写逻辑模型组合模型转换

基于重写逻辑的SNP系统模型检测

随着计算机科学与其他学科之间的相互渗透和影响,科学家们根据不同原理提出了不同的计算模型。细胞膜计算是一种基于生物细胞膜结......

学位

细胞膜计算 SN P系统重写逻辑模型检测 Maude

看过本文同时还关注