（一）招商方： 青岛理工大学

（二）招商标的情况：

1.科技成果简介：

本成果立足于软件工程环节的形式化描述方法， (略) 域应用软件设计和开发过程子过程及其工具，建立了支撑i18n、l10n、g11n、m17n的技术规范，促进国产操作系统的推广和使用。重点研究了可视化Z形式描述方法，采用软件工程中的Z-理论和规范对软件产品设计和生产、过程管理、测试等问题进行抽象和规范描述，力求为安全可信的软件设计提供技术保障。

2.创新点及性能指标

提出基于Z语言的软件全生命周期形式化描述方法，研发了Z规格说明自动生成器，对软件产品设计和生产、过程管理、测试等问题进行描述； (略) 络理论引入国产操作系统的推广方面，建立基于应用软件格式 (略) 络模型，解决既有操作系统下的应用软件的迁移问题。

3.拟转化方式：技术服务、合作开发。

（三）招商价格：面议

（四）交易组织方式：

项目征集到一个意向合作方后，转为正式挂牌项目交易。

投资者如有合作意向， (略) 技术成果交易中心办理登记手续。

（一）招商方： 青岛理工大学

（二）招商标的情况：

1.科技成果简介：

本成果立足于软件工程环节的形式化描述方法， (略) 域应用软件设计和开发过程子过程及其工具，建立了支撑i18n、l10n、g11n、m17n的技术规范，促进国产操作系统的推广和使用。重点研究了可视化Z形式描述方法，采用软件工程中的Z-理论和规范对软件产品设计和生产、过程管理、测试等问题进行抽象和规范描述，力求为安全可信的软件设计提供技术保障。

2.创新点及性能指标

提出基于Z语言的软件全生命周期形式化描述方法，研发了Z规格说明自动生成器，对软件产品设计和生产、过程管理、测试等问题进行描述； (略) 络理论引入国产操作系统的推广方面，建立基于应用软件格式 (略) 络模型，解决既有操作系统下的应用软件的迁移问题。

3.拟转化方式：技术服务、合作开发。

（三）招商价格：面议

（四）交易组织方式：

项目征集到一个意向合作方后，转为正式挂牌项目交易。

投资者如有合作意向， (略) 技术成果交易中心办理登记手续。