open systems; distributed processing; rewriting systems; formal specification; formal verification; Unified Modeling Language; formal logic; object-oriented methods; open distributed processing computational viewpoint; Maude rewriting logic language; object-oriented specification; viewpoint languages;
机译:使用Maude编写和执行ODP计算视点规范
机译:在Maude中正式化ODP企业规范
机译:使用Maude编写和执行ODP信息视点规范
机译:Maude中的正式化ODP计算观点规范
机译:属性规范模式的形式化和验证。
机译:通过形式化学版理论促进复杂性科学与临床实践之间的差距:功能分析的计算模型
机译:在maude中正式化ODp计算观点规范
机译:ODp企业Viewpoint211语言支持的远程教育过程建模