您好,欢迎来到绿色技术银行!
登录 注册
成果库
基于搜索的网构软件设计方法及应用

0

登记号:G20180660

所属行业:科学研究和技术服务业

学科分类:信息科学与系统科学;电子与通信技术;电子技术;信息处理技术;计算机科学技术;计算机软件;计算机工程;计算机应用;

关键词: 网构软件设计

绿色分类:其他资源效率提升;

  • 基本信息
成果名称: 基于搜索的网构软件设计方法及应用
成果登记号: G20180660 学科分类: 信息科学与系统科学;电子与通信技术;电子技术;信息处理技术;计算机科学技术;计算机软件;计算机工程;计算机应用;
绿色分类: 其他资源效率提升; 项目关键词: 网构软件设计        
推荐单位:

同济大学

成果所处阶段: 初期阶段
合作方式: 成果所属行业: 科学研究和技术服务业
国家/地区: 中国 知识产权:
简介: 点击查看

尽管行业内已具备大量成果软件,但传奇软件中的代码构件不像“机械制造中的零件” 一样可以复用,因而相似、后续的软件开发仍需要“白手起家,重新开发”。 软件项目开发成本高、生产率低,软件危机无从解决。当前,互联网搜索提供了一种 复用知识和经验的手段,但传统软件开发只拥有面向机器、面向过程、面向结构、面向对象、面向构件、面向方面、面向agent,面向服务的程序设计方法,不能利用搜索 支持和辅助软件工程。本项目开展的是,可信复用制导下基于代码构件精确深度搜索 的程序设计方法研宄及其应用。先从程序构件行为方面提炼可信特征,包括功能可满足性、行为一致性、质量可靠性、程序安全性等,形成可信标准,给出一套构件提炼 识别、粒度划分、性能评价、相互接口的规则和协议,并设计在线和集成的行为可信 验证算法。探索海量代码构件库的组织和构建方法,给出程序代码语法和语义结合的可信构件精确和深度搜索算法。解析编程需求,系统地提出基于搜索编程的程序逻辑 结构和编程规范。重点设计和开发相应的搜索编程的辅助工具,在互联网上发布,以 手机公园导游软件开发作为应用示范,向广大软件公司和程序员推广。最终实现代码构件复用搜索查准率提髙80%以上,大大提高软件开发的效率,有力地支持“互联网+’ 时代软件产业发展。


姓名: 成果录入人员5 性别:
出生日期: 2018-05-16 职务:
国籍(地区): 联系地址:
电子邮件:
相似的成果
相关专家
绿色科技信息网