退出
我的积分:
中文文献批量获取
外文文献批量获取
侯金奎;
潍坊学院计算机与通信工程学院,山东潍坊,261061;
山东大学计算机科学与技术学院,山东济南,250101;
模型驱动开发; 协同系统; 软件体系结构; 形式化语义;
机译:基于语义-语义模型的自然语言几何问题的自动理解和形式化
机译:基于广义概率自动机的语义计算形式化模型
机译:基于统一语义模型的反应系统形式化开发方法
机译:对偶:基于偏序语义的并行系统体系结构独立设计模型
机译:ROOM模型:静态语义的形式化及其在卫星跟踪软件开发中的应用
机译:使用数据驱动的模型-脑映射来约束形式化的认知模型
机译:基于语义Web服务的模型管理系统体系结构
机译:通过对话形式化描述的模型检验,交互系统的词汇,句法和语义属性的V和V.
机译:基于语义的物联网系统体系结构模型
机译:提供语义文档模型和语义CAD模型以及推荐CAD模型的方法,提供语义文档模型和推荐CAD模型的装置
机译:提供语义文档模型和语义CAD模型以及推荐CAD模型的方法提供语义文档模型和推荐CAD模型的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。