【摘 要】
：
用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用 ,一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法 ,使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明 ,进而转化成服务器端的以XML方式描述的Z模式。通过X
论文部分内容阅读
用形式方法开发软件可提高软件系统的正确性和可靠性 ,并可提高软件开发的效率。Z是一种基于状态的形式规格说明语言。但是一直以来形式方法在工业上不能得到普遍的应用 ,一个原因是它缺乏有效的支持工具以及向通用的工业标准转化的连接。本文首先用JAVA语言和XML开发了一种方法 ,使得用户能够在不同的平台上、不同的浏览器上利用GUI的方式编辑Z规格说明 ,进而转化成服务器端的以XML方式描述的Z模式。通过XSL所定义的格式 ,又将以XML方式描述的Z发布到网页上。从而实现了Z规格说明在WWW环境下的共享与发布
其他文献
目的：揭示“肾主外”重要的理论及临床意义。方法：通过对“肾主外”本义、引申义的阐述，结合原文及临床实际，提出“肾主外”的新诠释。结果：“肾主外”除可理解为掌管卫气、主骨而
当今世界乃信息社会,信息覆盖一切领域。信息产业革命,给人类生活和生产带来急剧变化。新闻媒体和新闻工作者,连接社会各行各业各种领域,是信息传递的极为重要的媒介,是密集
越来越多的联机事务处理(OLTP)系统从传统的C/S模式转移到了B/S模式,STRUTS作为一种开发框架在B/S模式系统中得到了广泛的应用,但由于其设计的通用性而在其实现联机事务处理系统时具有了一定的局限性。本文通过分析STRUTS开发框架的局限性,介绍了一种新的由作者本人设计的并已经得到成功应用的适用于复杂联机事务处理系统的开发框架,供技术人员参考讨论,该框架以STRUTS理念为基础,针对复杂联
气象知识的科学普及对于增强人民群众防范和减轻气象灾害的意识、提高气象防灾减灾的能力起着重要作用。该文基于笔者参加的2018年"华风杯"全国气象科普讲解大赛及2019年福建
按照中国人的习惯，立春标志着春季的开始，是一年廿四个节气中的第一个，在每年阳历的2月4日前后。此时气温逐渐升高，冰冻开始融解。天下万物包括人体在内，经过冬三月的蛰藏之后，阳气
目的：探讨清疮饮口服液治疗复发性口疮疗效。方法：将300例口疮患者随机分为两组。治疗组内服自制清疮饮口服液。对照组用复合维生素B及常规抗炎对症处理。两组均6天为一疗程,治
[摘 要]为了深入贯彻党的十九大精神，根据《科协系统深化改革实施方案》和中国科协党组深化改革工作的安排，中國科协调宣部、创新战略研究院课题组设计建设了科协系统改革监测平台。该平台旨在建立推行关键绩效指标制度，引导培育用户导向、绩效评估的执行力文化。本文着重研究全国学会改革动态监测指标体系和平台建设等问题。 [关键词]科协系统改革 学会监测指标 监测平台 一、背景 习近平同志在中央党的群团工作
利用BP神经网络的非线性函数逼近能力,对小数据,有噪声的时间序列计算最大李亚谱诺夫指数,从而判断该序列是否存在混沌现象,并将这一算法应用到深圳证券市场的深证综合的日收益率序列中,结果表明,深证综合的日收益序列不存在混沌现象。
经济新闻是有关国民经济、生产建设和人民日常经济生活的报道,是反映、服务和引导社会经济活动和人民群众经济生活的新闻。其基本任务是:以宣传党的方针、政策为中心,通过传
一位学者说:“一则好的新闻,读来声色香味,呼之欲出,令人感受颇深,重要原因之一就是成功地运用了新闻语言”。随着时代的发展,新闻事业的发展,对消息的语言要求越来越高。消