Eiffel语言3.0版本的语义     

阮文江  李师贤 《中山大学学报论丛》1996,(6)

采用ＶＤＭ的指称语义元语言ＭＥＴＡⅣ描述Ｅｉｆｆｅｌ语言３．０版本的语义．包括四个部分：①对原有的Ｅｉｆｅｌ语法进行抽象，从而给出它的抽象文法．该抽象文法在保持原有语法风格的基础上，对原语法进行了一些适当修改．②描述Ｅｉｆｅｌ语言的语景条件．它首先引入一些主要辅助域和主要辅助函数，然后给出各个语言成分的良构判定式．③定义对象模型、存贮空间和动态环境等语义域．④描述基于特征的各个语言成分的语义方程．  相似文献   

基于Web的网上考试平台   总被引：1，自引：0，他引：1  

阮文江 《中山大学学报论丛》2002,22(3):155-158

介绍基于Web的网上考试平台的模型，通过该平台考生可使用Web浏览器进行考试、查分、而教师也可使用Web浏览器出题、发卷、收卷、评卷和统计。  相似文献