论文部分内容阅读
为了使Ｚ规格说明与面向对象开发方法相结合。本文在Ｚ中扩充了对象类型和模拟描述机制，使之成为面向对象的形式化规格说明语言ＣＯＯＺ（ｃｏｍｐｌｅｔｅ ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄＺ）．内容包括ＣＯＯＺ的设计思想、语法定义及说明、形式化语义、实例以及相关研究工作的比较。
Z的面向对象扩充COOZ的设计
【摘 要】
：
为了使Ｚ规格说明与面向对象开发方法相结合。本文在Ｚ中扩充了对象类型和模拟描述机制，使之成为面向对象的形式化规格说明语言ＣＯＯＺ（ｃｏｍｐｌｅｔｅ ｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄＺ）．内容包括ＣＯＯＺ的设计思想、语法定义及说明、形式化语义
【机 构】
：
南京大学计算机科学与技术系
【出 处】
：
软件学报
【发表日期】
：
1997年9期
【基金项目】
：
国家自然科学基金,,国家“九五”攻关项目
其他文献
秋风一天比一天凉,冬天快来临了,我踏着沙沙的落叶走向教室。一阵风吹来,我不禁打了个寒颤,身上的衣服有点单薄了,我快步走进教室。不一会儿,有个同学跑来告诉我,说校门口有
汶川地震牵动全国，震惊世界。面对突如其来的公共危机，国家领导人第一时间飞抵灾区，政府第一时间发布权威信息，大灾当前，这两个“第一时间”是何其重要。在第一时间做到行政透明，在
提出了一种全局搜索算法－－竞争算法，它通过一个种群中各个体之间的互相激励，互相竞争，最终达到共同优化。竞争算法在思想上独立于遗传算法。在组合优化问题中，对这种类型的算法进行
高校的扩招以及班级学生的增多给英语教学带来了种种不便。本文结合多年的英语教学经验,对大课堂英语教学方法作了初步探讨,并提出了新的教学模式,即从以课堂为中心的教学模
提出了软件体系结构工程的概念，建立了软件体系结构的生命周期模型并对软件体系结构进行了分类和建模，介绍了几种典型的软件体系结构语言，提出了一个基于时序逻辑的形式化体系结
ＣＨＩＱＬ是一个正在开发中的中文数据库查询语言。为满足各种用户的需要，ＣＨＩＱＬ在设计上具有如下的特点：符合中国用户思维方式的较自然的中文表述方式；过程化与非过程化相结合的多语句查询，对ＣＨＩＱＬ而
我国成人教育特别是成人高等教育经过多年的发展，为社会发展和经济建设培养了大批有用之才，极大地缓解了普通高等教育资源不足与人们求学需求的矛盾，但伴随经济形式和政治体制的
本文首先假定高中生的个性心理因素和学习策略之间存在相关，然后采用卡特尔16PF人格特质量表和学习策略量表对随机抽取的188名高中学生进行问卷调查，分析调查的结果显示：高中生
本文提出了一种新的适用于多种动态模拟和复杂三维动画控制的面向对象的框架结构，它采用混合层次模型，其角色按部件层次组织其静态结构，角色中包含有决定其形状、样式和行为变化