论文部分内容阅读
本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。
一个面向对象语言的形式语义模型
【摘 要】
：
本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的
【机 构】
：
通化师院计算机系通化134002
【出 处】
：
通化师范学院学报
【发表日期】
：
1998年6期
其他文献
不同类型的高职院校文化建设的主题与路径选择不尽相同，卫生类高职院校毕业生的职业特点决定了卫生类高职院校必须培养对他人、对社会、对整个自然界具有爱心的学生。仁爱，是卫
广东亟需建设一流大学培养和汇聚创新型人才,提升自主创新能力,实现＂科教兴粤＂与＂创新驱动发展＂战略。如何在激烈的高等教育市场竞争中脱颖而出？借助波特＂五力竞争模型＂,分析广东高
将改进版的迷你临床演练评估方法(Modified Scale of Mini Clinical Evaluation Exercise,MiniCEX)应用于康复医学临床带教和培训的考核工作中,3年内(2011.08-2014.08),18名
文章首先从文艺美学的角度考察了古典诗词中的形神关系。探讨了“形神兼备”这一诗美原则的历史概貌及这一原则与老庄哲学的渊源,继而通过对一些古典诗词名篇的具体分析,分别
目的:探讨虚拟实验室在诊断学实验教学中的应用效果。方法:选择济宁医学院2013级和2014级临床本科学生纳为研究对象,分为对照组和实验组。对照组采用传统实验教学法,实验组则
本文从基本体操的功能入手,着重探讨它的美育价值,唤起体育教育工作者的高度重视,为塑造完美的型体提高整个中华民族的素质服务。