排序方式： 共有5条查询结果，搜索用时 15 毫秒
1
1.
采用ＶＤＭ的指称语义元语言ＭＥＴＡⅣ描述Ｅｉｆｆｅｌ语言３．０版本的语义．包括四个部分：①对原有的Ｅｉｆｅｌ语法进行抽象，从而给出它的抽象文法．该抽象文法在保持原有语法风格的基础上，对原语法进行了一些适当修改．②描述Ｅｉｆｅｌ语言的语景条件．它首先引入一些主要辅助域和主要辅助函数，然后给出各个语言成分的良构判定式．③定义对象模型、存贮空间和动态环境等语义域．④描述基于特征的各个语言成分的语义方程． 相似文献
2.
中心库技术是支持软件工程集成环境的必要手段之一，在整个ＣＡＳＥ集成策略中具有极其重要的地位．ＳｙｓｔｅｍＺ项目是支持面向对象技术和软件重用的开发环境．概述了ＳｙｓｔｅｍＺ集成环境的总体结构，给出了支持这一环境的软件信息中心库ＯＯＳＩＲ的设计． 相似文献
3.
一、引宫计算机在教育领域中的广泛应用使教学手段、形式、思想及理论发生了重大变化,人工智能的引入为计算机辅助教学开辟了具有广阔应用前景的新兴领域一智能计算机辅助教学（InteligentComP“ie’AssistedInstruction,简称ICAI）。ICAI系统是利用计算机模拟教学专家的教学思维过程,以学生为中心、计算机为媒介形成的开放式交互辅助教学系统。ICA！在70年代前期研究重点是专门知识模块问题,后期重点是学生模型问题;进入80年代后,主要从认知心理学角度深入研究教学策略问题。本文首先介绍ICAI系统的主要特征,然后利用面向对… 相似文献
4.
介绍程序控制结构的偏加语义．首先对程序语言的结构（包括顺序、条件、循环等）进行函数化，然后引出程序语义的描述工具——偏加范畴，最后用偏加范畴理论刻划程序的断言语义 相似文献
5.
本文通过实例分析,总结了实验室建设从思想到实现的认识和体会,指出按学科观点、课程体系以及资源共享的原则是规划教学实验环境的重要依据,合理配置和科学管理的实现方案是实验室建设的有力保证,为本科教学创建高水平的实验环境走出了一条新路。对实验室的规划和建设具有较大的参考价值。 相似文献
1