国产操作系统应用软件形式化设计方法
项目简介
(一)招商方: ****
(二)招商标的情况:
1.科技成果简介:
本成果立足于软件工程环节的形式化描述方法,研究局域应用软件设计和开发过程子过程及其工具,建立了支撑i18n、l10n、g11n、m17n的技术规范,促进国产操作系统的推广和使用。重点研究了可视化Z形式描述方法,采用软件工程中的Z-理论和规范对软件产品设计和生产、过程管理、测试等问题进行抽象和规范描述,力求为安全可信的软件设计提供技术保障。
2.创新点及性能指标
提出基于Z语言的软件全生命周期形式化描述方法,研发了Z规格说明自动生成器,对软件产品设计和生产、过程管理、测试等问题进行描述;将复杂网络理论引入国产操作系统的推广方面,建立基于应用软件格式的小世界网络模型,解决既有操作系统下的应用软件的迁移问题。
3.拟转化方式:技术服务、**开发。
(三)招商价格:面议
(四)交易组织方式:
项目征集到一个意向**方后,转为正式挂牌项目交易。
投资者如有**意向,请联****交易中心办理登记手续。
相关公告
招标导航更多>>
工程建筑
交通运输
环保绿化
医疗卫生
仪器仪表
水利水电
能源化工
弱电安防
办公文教
通讯电子
机械设备
农林牧渔
市政基建
政府部门
换一批