论文部分内容阅读
RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。
两种形式语言：RSL与Z的分析比较
【摘 要】
：
RSL(RAISE规格说明语言)和Z是目前广泛应用的软件规格说明语言,本文从软件开发生命周期的角度对两种语言进行了比较,提出了将不同规格说明语言结合形式地描述系统的设想。
【机 构】
：
上海大学计算机工程与科学学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2002年04期
【基金项目】
：
国家自然科学基金(编号:699773038),,美国AM基金的资助
其他文献
本文通过分析计算机辅助测试(CAT)理论,计算机辅助教学(CAI)中的练习和模拟模式,以及计算机模拟实验考核(CSET)理论,强调了只有充分利用计算机模拟能力和管理能力,才能实现计算机对实验考核进行辅助的真正目的。
对于CSCW系统而言,系统的交互既包括人—机交互,也包括人—人交互,所以传统的人—机交互界面不能充分体现CSCW系统的人—人交互特性。本文首先对CSCW系统所涉及到的共享空间和群体感知问题进行分析,并归纳出一个CSCW系统应满足的最小感知要素集;然后结合一个协同工具WBTool的界面设计,论述了在设计CSCW系统的用户界面时,为提高群体成员间的相互感知度所提出的“动态组合光标”和“颜色标注”技术;
Authorware作为Macromedia公司的拳头产品已经成为当今最热门的多媒体创作软件之一,但长期以来Authorware与外部数据库接口问题一直是个缺憾,本文对此提出了较为全面的解决方案,介绍了在Authorware中如何对外部公用数据库接口(ODBC)进行手动/自动设置及利用ODBC实现对外部数据库的访问及管理。
施一身才学保万家平安记青年军医万平■卢丰杰“万平”，一个再普通不过的名字，然而，就是这样一个普通的名字却在许许多多的人心里激起了波澜。“当代白求恩”、“神医”、“神大
本文通过一个典型的案例 ,从设计角度介绍了在VPN中如何避免IPSec协议与NAT/PAT协议的冲突 ,以及使用策略路由屏蔽静态地址转换的方法
当代家庭的演变与青年社会化邵涡阳通过对传统的回顾，我们看到家庭和社会发展的相互关系。家庭通过各种方式变成广大社会的工具或媒介，如果家庭的社会职能发挥得好，表现在青年社
新时代的“金光大道”──农村青年劳动力资源的优化开发杨思春江泽民同志１９９２年１２月２４日在全国农村工作会议上指出：“没有农民的小康，就没有全中国人民的小康。”建设有中国特色社会主
本文介绍了在微机上利用AutoCAD2 0 0 0及其内部开发语言VisualLISP及VBA开发的注塑模参数化图形库系统 ,其中包括国标中的中小型模架及大型模架图形库及 16种注塑模标准零件的参数化图形库系统。
本文研究了水下航行器仿真模型库、数据库以及用于模型验证，确认和鉴定（VVA）方法库的功能和构建方法，首次将人工智能和层次分析（AHP）方法引入仿真置信度评估研究，在解决各软件平台互