摘要：在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证>的验证插件。利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述的安全需求。

摘要：孙鸿飞、孙艳萍在《中国远程教育》2014年第6期中撰文,探索了英国开放大学虚拟学习环境的建设思路、功能模块和支持工具,研究了其网络课程设计、课程学习、教学辅导等方面的情况,总结了英国开放大学虚拟学习环境的特点,并针对我国远程教育院校网络学习空间建设和运行提出了相应对策和建议。

摘要：WebQuest是一种利用因特网资源开展的、教师指导下的、主题探究式教学模式,基于WebQuest的学习环境的设计应考虑学习资源、支持工具、教学模式和人际关系四个要素.

摘要：技术促进与语言运用革的不断深入，现代教育技术在全面推进教育现代化的进程中发挥了巨大的作用。将技术作额吾舒主辟拍支持工具或环不境，对语言运用的效果有重要的影响。

摘要：随着在线课程的深入发展,美国在线课程越来越关注评价活动的设计,尤其是在如何保证学生通过不同的评价活动持续提升学习能力,通过不同类型的评价活动实现学习目标的达成方面,美国在线课程评价活动取得了新进展。从在线课程评价活动入手,基于美国一流大学在线课程实际案例,对在线课程评价活动的最新发展进行研究,以期对我国在线课程评价活动设计提供启示。

摘要：MICREX-SX系列中，其综合程序支持工具D300WIN采用国标IEC61131-3，引入程序部件化、结构化等编程技术，使编程效率提高，给用户提供一个全新的开发环境。特别是功能块(FB)使控制程序成为可被重复使用的结构，这种迄今为止从未有过的方式使控制程序的生产性有可能得到飞跃性的提高。

摘要：绩效分析除了分析框架之外，更有赖于科学的、循证实践的方法，包括绩效结果定义、分析对象取样、绩效数据收集方式与工具、绩效数据分析等等。可以说，没有可靠且有效的绩效分析结果，绩效支持工具或系统的设计必不能直击绩效重点，更遑论与时俱进、快速迭代。

摘要：即使是初学者也能够快速掌握的MCU评估工具包由于系统的处理性能和功能在很大程度上取决于所选用的MCU。因此选用何种MCU是系统设计中非常重要的步骤。特别是没有使用过的MCU,选用前的评估是不可缺少的。“Renesas Starter Kit（”瑞萨学习工具包）就是一款能够非常简单地进行评估工作的支持工具。

摘要：在众多的计算机辅助应用中，计算机辅助标准化是一个新概念，它的提出对于提高标准化的管理水平有着重要的意义。本文从标准化管理及计算机应用的角度，对计算机辅助标准化的基本内涵进行了论述，并依据于这一基本的内涵，把它分为计算机辅助标准化综合管理、标准信息与标准资料管理、标准化辅助支持工具和工程设计中标准化技术支持管理等几个部分，从而形成了计算机辅助标准化的总体框架。同时，又对实现过程中应着重考虑的几个问题以及所需要的支持环境提出了一些看法。

摘要：学习支架又叫学习脚手架,它是“由教师或父母(辅导者)对学习者所提供的即时支持,这种支持能促进学习者(被辅导者)有意义地参与问题解决并获得技能”(何克抗《教学支架的含义、类型、设计及其在教学中的应用》)。习作教学支架就是习作教学中的一种支持工具,它的主要功能是为学生提供搜集材料、构思、写作、自评、修改等支持,帮助学生顺利完成习作任务。现结合习作实践谈谈个人的教学思考。