约束抽取相关硕士博士期刊学术论文 - 搜论网

约束抽取相关论文

基于谓词逻辑的原型系统生成方法研究

本文采用面向对象思想和模型驱动技术,提出一种基于谓词逻辑的原型系统生成方法.该方法以模型为基本元素,通过对静态模型和动态模......

期刊

谓词逻辑原型系统模型驱动约束抽取 predicate logic prototype system model driven constraint

领域软件开发中体系结构元模型及模型转换方法研究

随着我国军事和科技的不断进步和发展,对计算机软件的依赖程度越来越高。尤其是在航天航空、军事作战、指挥控制等高精尖领域需要......

学位

体系结构元模型模型转换谓词逻辑原型系统约束抽取

看过本文同时还关注