退出
我的积分:
中文文献批量获取
外文文献批量获取
杨潇; 马军; 侯金奎;
山东大学计算机科学与技术学院,山东,济南,250101;
模型驱动开发; 软件体系结构; 形式化描述; 范畴理论; 映射; 聊天室系统;
机译:带有XYZ / ADL的仿真运行时支持平台体系结构的形式化描述
机译:电子商务中的体系结构框架和业务模型:其特征和好处
机译:基于范畴理论的自体形成的形式化描述
机译:基于人机交互的基于动态场的体系结构中的学习和泛化表示=基于人机交互的基于动态场的体系结构中的学习和泛化
机译:基于序列的无凭证真菌的形式化描述:承诺和陷阱以及如何解决它们
机译:mULTIGRapH:基于模型编程的体系结构。基于模型的并行计算程序合成。 pREmOs:基于模型的程序综合的编程环境。版本01.00.00
机译:一种开发和实现模型的方法,该模型用于形式化描述多组件分布式协作系统,特别是智能柔性生产自动化系统
机译:将基于功能的体系结构与物理体系结构集成为电子系统的基于模型的自动方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。