经过对家电控制器常用MCU系统结构、程序规划语言、家电功能及外设驱动源码研讨,提出了一种形式化的嵌入式软件的源码构件和程序代码的规划办法。介绍了源码构件层次系统和逻辑形式;界说了源码构件运算符;给出了构件及使用代码的形式化生成;并以重用因子K为规范,辅佐衡量源码构件的代码片段区分和规划的合理性。该办法具有很好的实用性、可扩展性和通用性。
点击看全文
通过对家电控制器常用MCU体系结构、程序设计语言、家电功能及外设驱动源码研究,提出了一种形式化的嵌入式软件的源码构件和程序代码的设计方法。介绍了源码构件层次体系和逻辑模式;定义了源码构件运算符;给出了
经过对家电控制器常用MCU系统结构、程序规划语言、家电功能及外设驱动源码研讨,提出了一种形式化的嵌入式软件的源码构件和程序代码的规划办法。介绍了源码构件层次系统和逻辑形式;界说了源码构件运算符;给出了构件及使用代码的形式化生成;并以重用因子K为规范,辅佐衡量源码构件的代码片段区分和规划的合理性。该办法具有很好的实用性、可扩展性和通用性。
点击看全文