[00070085]软件规格说明语言Z支持系统
联系人： 牛刚
所在地：上海 上海市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
技术投资分析：
简介：
具有一套标准的Z符号集，具有完善的语法分析和类型检查功能，并具有X规格说明的编辑、查错定位、格式设置、图形化的自动生成等功能。它支持Z规格说明的文本编辑和图形编辑两种方式。在文本编辑方式下，用户按ASCII文本方式ZSL输入，系统自动转换成Z的框架图形表示；在图形编辑方式下，用户按“所见即所得”的方式编辑，并可通过索引对规格说明查询和浏览。
系统设计并实现了基本规格说明的软件测试用例产生器。Z User Studio界面友好，使用方便，配备了一个详细的帮助系统。
主要特点技术性能：
系统开发环境为中文Windows95/98，开发工具为Visual C++6.0、Microsoft Access97、HTML HelpWorkshop。可通过索引对规格说明查询和浏览。界面友好，使用方便，配备了一个详细的帮助系统。
技术的应用领域前景分析：
用途：
在软件开发中，精确地描述用户需求和系统功能，生成形式化的软件规格说明，是软件分析的工具。也可用于软件工程的教学。
该系统目前已应用于上海上达地理信息系统工程有限公司开发的《青浦供电局车辆运行系统》收到了较好的效果，开发周期缩短，提高了系统的可靠性。
效益分析：
面议本技术市场广泛，利润高，效益十分可观。
厂房条件建议：
无
备注：
无
