Improving K-12 pedagogy via a Cloud designed for education

Cloud computing offers an opportunity to improve K-12 pedagogy with services tailored to teachers’ needs in individual classrooms. The Cloud can deliver services such as remote access to learning tools in a cost effective manner to school systems struggling with reductions in local and state funding. This article explores the distinct ways that a Cloud designed specifically for education can be applied to K-12 education's academic mission. It uses observations from a case study in North Carolina rural high schools using an educational Cloud called the Virtual Computing Lab to access dynamic geometry and algebra software.     

Security considerations for the spiral development model

Security measures have been well established within the waterfall development life cycle model. However, more software projects are using the spiral development life cycle model. Software developers and project managers can easily forget about adapting security measures. The spiral model uses iterative steps that can create changes in each phase of software development process. This will challenge security to ensure the application has few flaws or vulnerabilities that could be exploited. Failure to impose the right security measures at each of these phases can open up vulnerabilities for hackers to exploit and prove costly in patching. This paper will explore areas where security can be engaged within each iteration step of the spiral development model. This way security can continue protection of the software product as it becomes ready for deployment. The paper will help organizations realize where to deploy security measures to reduce vulnerabilities in the software application.     

浅谈软件过程性能及稳定性的分析方法

目前常用的软件过程模型有CMM、PSP、TSP和敏捷开发过程等,对这些过程模型的使用,需采用统计过程控制方法的控制图等工具对过程数据采样点进行分析,以便了解过程性能和过程能力,采取措施消除过程异常,保证过程的稳定性,从而提高软件开发质量.本文简要介绍了CMM、PSP等过程模型以及基于离散数据的控制图分析过程稳定性的方法.     

从大纲的新变化看大学英语教师的角色转变

《大学英语课程教学要求》在1999年大学英语教学大纲的基础上有了一些变化，这些变化要求大学英语教师在理论方面对自己在教学中的地位和作用有正确的认识，并且在实践上完成三种角色的转变。     

"嵌入式软件结构化测试"的一般原理

简速软件测试理论的当前应用及今后的发展方向。重点综述嵌入式系统及软件的结构化测试的一般方法。，主要从嵌入式系统本身的特殊性出发，给出如何恰当运用软件测试的基夺理论．解决具体的特定嵌入式系统及软件的测试方法的基本步骤。     

计算机软件学习方法思考

本文在概要分析计算机软件学习需求的飞速发展背景下,传统的基于专业知识学习的方式已经越来越不适应,一种全新的计算机软件的学习方法应运而生。     

用PLD器件ispLSI1016实现数显频率计

本介绍利用ispLSI1016芯片设计一个6位数字频率计，如何将频率计的逻辑电路部分编辑到可编程逻辑器件ispLSI1016中。     

也谈现代信息化条件下对高校图书馆馆员的要求

现代化信息技术的迅猛发展，对高校图书馆馆员管理服务工作来说是一个挑战。如何面对这一挑战，作为高校现代图书馆员必须更新高校现代图书馆文献信息管理观念，必须成为高校现代文献信息管理的复合型人才，必须改变高校现代图书馆馆员的服务方式，才能更好地为高校的教学科研服务。     

鲁棒分析机理与应用研究

鲁棒分析桥接了软件分析与设计之间的鸿沟,是实现软件过程可追溯性的重要环节和不可或缺的技术,但其机理缺乏研究.研究了鲁棒分析的基本思想;解析了其内在机制;探索了鲁棒图中对象之间的交互机理,扩展了其交互规则;分析了鲁棒图的本质和在MDA软件范型中的建模作用,使得模型具有继承性、转化性和进化性.     

FRBR对地图资料元数据规范的启示

DC元数据对地图资料的著录存在无法深度揭示其内容特征等不足。FRBR对地图资料的一般属性和特殊属性作了定义与描述。在FRBR的启示下,将版本、源载体、空间、技术4个扩展元素增加为地图资料的著录款项,能规范地图资料元数据结构,从而提高网络环境中地图资料确认与检索的准确性与全面性。