机译:使用Maude编写和执行ODP信息视点规范
Dpto. de Lenguajes y Ciencias de la Computacion, Universidad de Malaga, ETSI Informatica, Campus de Teatinos, 29071, Malaga, Spain;
rewriting logic; maude; RM-ODP; ODP information viewpoint; collective behavior; invariants;
机译:使用Maude编写和执行ODP计算视点规范
机译:在Maude中正式化ODP企业规范
机译:ODP企业观点规范
机译:在Maude中正式化ODP计算视点规范
机译:从通信协议的自然语言规范到可执行的代数规范的转换方法
机译:生物化学系统规范和分析的可执行生物化学空间
机译:使用maude编写和执行ODp信息视点规范
机译:ODp企业Viewpoint211语言支持的远程教育过程建模