排序方式: 共有23条查询结果,搜索用时 15 毫秒
1.
面向概念设计技术也称为泛型设计技术,可以将一般服务组合的共同性质进行提取形成泛型形式,并在抽象级别进行验证,其主要目标是提高规范的可重用性和简化验证的需要。基于概念描述语言Tecton定义了泛型服务组合的形式化规范,然后应用结构化归纳法验证规范的完备性。并通过与其他过程定义的形式化方法的比较,说明了面向概念设计技术可重用性方面的优势。 相似文献
2.
本文介绍分布式网络考试系统(DNES)的设计思想、工作原理及其实现过程。文中阐述了DNES的目标和设计原则,描述了系统网络和体系结构以及各子模块的功能和实现方法。 相似文献
3.
通过对高校非英语专业学生英语课堂学习焦虑量表的问卷调查,发现专业和性别的不同产生焦虑程度显著差距,并提出降低焦虑程度的策略。 相似文献
4.
5.
6.
7.
8.
高校非计算机专业的计算机基础教育日益普及,随着教学条件的不断改善,对计算机基础教育提出了更高的要求。通过认真的分析研究,规划调整,我们选取了上课学生人数多,影响大的计算机应用基础课程作为计算机基础教育改革的试点。 相似文献
10.