论文部分内容阅读
在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足。在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明语言ＯＯＺＳ，以提高形式规格说明的层次性及模块化能力。本文简要介绍了ＯＯＺＳ语言的设计思想及其面向对象特征。
OOZS：一种面向对象的Z语言扩展
【摘 要】
：
在软件开发过程中，面向对象方法和形式方法的综合使用有助于充分利用这两种方法的优点并克服它们的不足。在Ｚ规格说明语言的基础上，作者设计了一种结构化的面向对象形式规格说明
【机 构】
：
上海大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
1997年10期
【基金项目】
：
上海市高校科技发展基金
其他文献
实时数据库系统（ＲＴＤＢＳ）的高性能要求以内存数据库（ＭＭＤＢ）做底层支持内存数据库事务在运行过程中没有内外存数据Ｉ／Ｏ，这就要求对事务的执行进行预分析处理并在此基础上合理进行的内外存数据交换，文
英语有句谚语：“Education must be fun.”（教育必须是有趣的）《英语课程标准》中也特别强调要培养和激发学生学习英语的兴趣，使他们对英语学习有持续的兴趣和爱好。兴趣是学好语言的关键，激发学生学习英语的兴趣是英语教学的一项重要任务，这就需要教师在上每一节课前认真地策划好本节课的活动。 一、借助课堂游戏，激发学生学习兴趣 快乐的英语课堂，游戏很关键，它能很好的激发学生学习英语的兴
【摘 要】 由于多媒体教学直观形象、生动有趣，它以其鲜明的教学特点，丰富的教学资源，形象生动的情境，能充分调动学生的学习积极性，使学生产生浓厚的学习兴趣。利用多媒体来辅助教学，是一种新型的行之有效的教学手段和方法，能充分调动学生的自主性、主动性、探索性，把学生的积极性推向了一个高潮。能促使教学向现代化的教学手段迈进，为提高学生的能力，落实素质教育，能切实提高学生的学习效率，进而提高教育教学质量。
随着信息资源的迅速膨胀,信息集成技术成为目前的研究热点.提出一个基于OGSA-DAI技术的校园网信息资源集成模型,并对其安全机制进行了讨论.系统构建了一个包括消息级安全、数
[摘要]目前初中体育教学方法单一，学生不能积极主动地参与体育课程，大大地制约了学生身心健康的发展。为此，体育教师要善于增加趣味性，运用游戏教学方式；理论联系实际，运用案例教学方式；以学生为主体，运用自主学习教学方式。本文对此进行了分析研究。 [关键词]初中；体育；多样化教学 随着社会的不断发展，学生也要德智体美劳全面发展，而体育课是锻炼并提高初中生身体素质和自信心的重要途径。体育课在学生的全面
本文从对准系统与对准过程，提高型整片对准计算，激光步进对准测量系统，以及激光步进对准探测中对准标记形貌的作用等几个方面，介绍了Ｎｉｋｏｎ公司研制的一种用于光学光刻生产的提高型整片
近日听了一节《分数的基本性质》。学生动手操作：将—张正方形纸对折涂色表示出1/2，再依次对折表示2/4.4/8、8/16，进而探究分子和分母的变化规律。学生经历了数学探究的过程，感受到了数学学习的乐趣。但教师在—些细节的处理上，依然不尽人意，教师抓得紧、放得少，师生之间的互动不够深入，学生的思维在一定程度上受到了限制。下面就列举课堂中的几个细节，谈谈自己的想法。 [思考一]不妨让学生大胆猜一猜
音乐欣赏教学是小学音乐教学中的重要组成部分，是引导学生进入音乐大门的一条道路，是培养学生音乐鉴赏力最有效的途径。它能让学生在欣赏音乐时明白音乐之美，它能帮助学生了解和熟悉音乐语言，领会和感受音乐作品的内容，让他们的思维能力以及探索能力得到提升。然而，音乐形象不像图画那样直观、具体，它需要在听的过程中对作品中的内容和情感去领悟，从声音中获得情感的体验。那么，如何引导学生去欣赏音乐，如何才能上好一节音
【摘 要】 在小学美术教学过程中，巧妙地引入多媒体教学，可以创设生动形象的学习情境，优化美术教学环节，提高美术教学的效果。多媒体与美术教学的有效融合，极大地调动了学生对美术的兴趣，引导学生积极愉悦地参加到美术活动中去。 【关键词】 小学美术；多媒体教学；运用 小学生天真无邪，活泼好动，他们具有丰富的想象力，但是本身的知识面却非常狭窄。所以，在小学美术教学中，教师要通过各种新颖的教学方式，为学生