何积丰
- 作品数：77 被引量：275H指数：6
- 供职机构：华东师范大学更多>>
- 发文基金：国家自然科学基金上海市自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学兵器科学与技术更多>>
- 基于形式化方法的需求分析被引量：27
- 2003年
- 利用形式化规格说明语言—— B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。利用形式化方法的需求分析，有助于发现需求中隐含的不一致性、二义性和不完整性，对其进行更深入精确的理解，从而进行规范化管理。
- 塔维娜何积丰
- 关键词：形式化方法B方法
- 一种面向安卓平台的测试用例自动化生成方法及生成系统
- 本发明公开了一种面向安卓平台的测试用例自动化生成方法，利用安卓应用测试框架AndroidViewClient和安卓应用进行交互，录制安卓图形用户界面的事件序列，生成相应的录制测试脚本；通过程序分析方法，将录制测试脚本转换...
- 李俊馨苏亭蒲戈光何积丰
- 基于AADL的创建、分析和仿真混成系统模型的方法
- 本发明公开了一种基于AADL的创建、分析和仿真混成系统模型的方法，包括如下步骤：创建子语言混成AADL，利用子语言混成AADL建立混成AADL模型；对混成AADL模型进行词法和语法分析；将混成AADL模型转换至Model...
- 何积丰刘静钱宇清
- 文献传递
- 数字系统中高层次设计的最优调度算法比较
- 2005年
- 高层次设计技术是数字系统设计的关键技术,是近年来国内外研究、开发和应用的热门课题。文章用形式化方法描述了两种流行的高层次设计的软件算法,并进行了实验验证。
- 王晓峰何积丰
- 关键词：数据流图剪枝
- 面向服务架构中服务实现的策略被引量：6
- 2006年
- 构造了层次化的SOA模型,并提出了将服务使用层与服务实现层分层处理的策略.建立了基于服务的构件模型来实现SOA中的服务,使用接口来描述服务的语法,契约来描述服务的语义,并用卫式设计来模服务的行为.将接口作为结合构件技术与面向服务架构的关键.用实例说明了如何使用这种方法来实现面向服务的设计.此工作为利用构件技术解决面向服务架构中的服务实现问题奠定了基础.
- 刘静何积丰Zhiming Liu
- 关键词：接口契约
- 一种实时协议的形式化分析及验证方法
- 本发明公开了一种实时协议的形式化分析及验证方法，包括：数学建模步骤，用于利用进程代数建模，对实时协议进行形式化表示，建立实时协议模型，并对协议需求进行形式化表示；代码生成步骤，根据所述实时协议模型生成高级语言代码；仿真验...
- 史建琦庞海萍黄滟鸿李昂何积丰方徽星
- 文献传递
- 一种SDNS接口自动化测试系统和方法
- 本发明公开了一种SDNS接口自动化测试系统和方法，该系统包括：主流程控制模块，用于读取测试配置文件，基于该测试配置文件的内容获取待测SDNS接口的接口测试用例的描述文件和接口测试数据的指定路径，基于该指定路径下的接口测试...
- 黄滟鸿熊家文史建琦何积丰李昂
- 文献传递
- 加强和促进我国高层次科技创新人才队伍建设的政策建议被引量：7
- 2018年
- 实施人才强国战略,建设创新型国家和世界科技强国,关键在人才.高层次科技创新人才是一个国家人才队伍的核心,是推动经济社会发展的重要力量,是建设创新型国家和增进国家竞争力的决定性因素.世界各国之间日益激烈的综合国力竞争,其实质就是高层次科技创新人才的竞争.大力培养高层次科技创新人才,是世界各国提升综合国力和国际竞争力的重大战略选择.
- 中国科学院学部"影响我国高层次科技人才培养与成长相关问题的研究"咨询课题组何积丰
- 关键词：人才队伍建设创新型国家经济社会发展综合国力国际竞争力
- 一种基于程序演进模型的目标代码逆向工程方法
- 本发明公开了一种基于程序演进模型的目标代码逆向工程方法，可以自动地识别目标代码文件封装格式，区分目标代码文件代码段，并使用反汇编技术进行分析并生成相应的程序模型，又在前一个程序模型基础上，再次进行分析并生成新的程序模型，...
- 史建琦熊家文黄滟鸿何积丰李昂方徽星
- 一种空间飞行器的自适应重构方法及系统
- 本发明公开了一种空间飞行器的自适应重构方法及系统，该方法包括：S1：数据采集步骤；S2：数学符号形式化步骤；S3：形式化数学符号检测步骤；S4：自重构系统反馈步骤；S5：自重构系统优化步骤。该系统包括：数据采集模块；数学...
- 黄滟鸿李炬史建琦李昂何积丰方徽星
- 文献传递
