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