SOFL; Specification transformations; Data type; Programs;
机译:使用库模块根据规范进行半自动程序构建
机译:共享内存并行程序自动转换为顺序程序的基本结果
机译:笛卡尔遗传规划中模块的自动获取,演化和重用
机译:从SOFL模块规范自动转换为程序结构
机译:使用图文法技术将UML软件规范自动转换为LQN性能模型
机译:人工RNA的主题扩展了双分子核酶的RNA模块之间的可编程组装导致其在RNA纳米结构设计中的应用。
机译:使用库模块从规范中进行半自动程序优化
机译:制造方法和技术研究制造电子模块的覆盖方法。印刷线路模块可生产性指南和自动元件装配规范。