排序方式: 共有8条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
Eiffel语言的语义 总被引:1,自引:0,他引:1
本文采用类VDM的指称语义技术为Eiffel(1988)语言建立了形式语义模型.该模型首先为Eiffel语言定义了对象模型和两个语义环境(动态和静态环境),然后讨论Eiffel例程的语义.为了描述Eiffel的意外处理,我们采用了VDM的“出口”机制. 相似文献
4.
5.
数据表对象化工具TTO 总被引:1,自引:0,他引:1
阮文江 《计算机工程与应用》2003,39(10):197-198,225
论文介绍“数据表对象化工具TTO”的模型。作为辅助开发工具,在MIS系统的开发过程中,TTO首先以数据表的形式定义OOP中需要存贮的对象,然后根据数据表定义自动生成作为数据库编程接口的对象类代码。 相似文献
6.
7.
8.
本文探讨理科非计算机专业"计算机应用基础"课程的"Office+JavaScript"教改方案,并分析其实践效果。 相似文献
1