您好，欢迎来到绿色技术银行！
  • 成果
  • 需求
  • 专家
登录 注册
成果库
基于搜索的网构软件设计方法及应用

0

登记号：G20180660

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

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

关键词： 网构软件设计

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

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

同济大学

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

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

简介

组织架构

大事件

联系方式

021-24197746    021-24197802

021-24197801    021-80197528

地址：上海市徐汇区中山西路1525号

上海市虹口区东大名路1098号浦江国际金融广场5楼

主办单位

绿色技术银行管理中心(上海科学技术交流中心)

绿技行（上海）科技发展有限公司

关注我们

版权所有：上海科学技术交流中心| 绿色技术银行 沪ICP备05032341号-4 |  沪公网安备31010402003525号