开启全网商机
登录/注册
国产操作系统应用软件形式化设计方法
摘要信息
招标详情
下文中****为隐藏内容，仅对千里马会员开放，如需查看完整内容请
「注册/登录」或 拨打咨询热线：
400-688-2000
相关单位：
***********公司企业信息
项目简介
（一）招商方： ****
（二）招商标的情况：
1.科技成果简介：
本成果立足于软件工程环节的形式化描述方法，研究局域应用软件设计和开发过程子过程及其工具，建立了支撑i18n、l10n、g11n、m17n的技术规范，促进国产操作系统的推广和使用。重点研究了可视化Z形式描述方法，采用软件工程中的Z-理论和规范对软件产品设计和生产、过程管理、测试等问题进行抽象和规范描述，力求为安全可信的软件设计提供技术保障。
2.创新点及性能指标
提出基于Z语言的软件全生命周期形式化描述方法，研发了Z规格说明自动生成器，对软件产品设计和生产、过程管理、测试等问题进行描述；将复杂网络理论引入国产操作系统的推广方面，建立基于应用软件格式的小世界网络模型，解决既有操作系统下的应用软件的迁移问题。
3.拟转化方式：技术服务、**开发。
（三）招商价格：面议
（四）交易组织方式：
项目征集到一个意向**方后，转为正式挂牌项目交易。
投资者如有**意向，请联****交易中心办理登记手续。
招标进度跟踪
2024-12-25
招标公告
国产操作系统应用软件形式化设计方法
当前信息
招标项目商机
暂无推荐数据
400-688-2000
欢迎来电咨询～
