论文部分内容阅读
本文以以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。
VDM和Z两种规范描述语言的比较
【摘 要】
：
本文以以关系数据库的规范为例，详细讨论了两种重要的规范描述语言ＶＤＭ和Ｚ的主要区别，对它们的共性和发展史也作了简单介绍。
【机 构】
：
湖州师范专科学校,北京大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1996年11期
【基金项目】
：
国家自然科学基金
其他文献
1 前言 短道速滑的运动伤病问题已成为困扰运动训练和影响运动成绩的原因之一。本文对吉林省体工队、长春市体工队、白城市体工队及黑龙江省部分短道速滑运动员的伤病进行了
短距离滑跑技术基本与长距离相同.短距离是以创造最大速度为目的,所以在技术结构和具体技术细节上又与长距离有所区别.其区别是:滑行步伐短、频率快,蹬冰力量大,上体姿势高,
一、问题的提出传统的速滑教学与训练,大都凭经验来安排滑跑段落、练习强度和间歇时间,很少考虑到选用这些手段的科学性和实效性.那么,哪些手段对提高500米速滑成绩较为理想
目的本次主要对手术室护理模式用于乳腺癌手术患者护理中的临床效果进行探讨分析,为临床护理提供依据。方法选取我院2014年7月至2015年12月收治并确诊的乳腺癌手术患者共100
目的通过对脑出血患者采取综合康复护理措施,研究对其生活质量的影响。方法选取2013年1月-2015年12月四川省自贡市第四人民医院收治的50例脑出血患者作为研究对象,随机均分为
人才竞争是医院竞争的关键,医院要在竞争占有优势就必须重视人才培养。人才是人力资源中能力和素质较高的劳动者,是医院竞争力的核心和宝贵的财富。目前,医院人才队伍整体素
文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译
仿真数学模型是一种黑板结构，它难以实现智能计算与逆问题求解．文中介绍了一种数据驱动的面向对象的智能知识库（ＩＫＢ），它从仿真数学模型转换而来，并实现了智能计算，它为逆问题求解和模型
本文采用808神经类型量表,根据设计要求,运用三种方法对参加全国短道少年比赛的运动员,进行了客观的测评,目的是为培养和选拔后备人材提供科学的参考数据。