退出
我的积分:
中文文献批量获取
外文文献批量获取
杨巨谦; 金成植;
不详;
属性文法; 编译程序; 软件自动生成;
机译:微风图文法:一种用于对面向大数据的软件系统的软件体系结构进行建模的图文法
机译:通过规范自动生成的属性对协议转换器进行形式化验证的方法
机译:基于属性文法的模型转换方法
机译:使用图文法技术将UML软件规范自动转换为LQN性能模型
机译:通过滚圆融化锅复制模型的猪圆环病毒DNA复制起点的模板链转换机制的回文法再生。
机译:将设备控制软件从pascal转换为C / C ++
机译:pascal-sC中泰勒级数的自动生成:常微分方程的基本运算和应用
机译:用于自动软件再生的方法将抽象模型应用于通过软件将其机械地转换为软件而成为可能的应用程序的属性。
机译:将计算机软件的安全目标转换为软件代码属性的系统和方法
机译:利用属性信息和可转换公式自动生成卫星操作过程参数的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。