形式化方法--Z语言在西瓜棋中应用的研究

Z语言是目前广泛使用的一种形式化方法语言。它具有简明、精确、无歧义的优点。本文利用Z语言对一种棋类游戏——西瓜棋进行了描述，并给出了西瓜棋游戏从状态模式到操作模式的需求规格说明。     

知识应用与软件过程的融合

提出了软件过程与知识应用的融合，其作为信息融合时代的一种新模式两者之间相互促进，能整合知识资源、改进企业的软件开发过程，从而提高软件产品的质量。讨论了软件过程与知识应用的融合模式，介绍了软件过程与知识应用的融合实例——知识应用平台。     

Digital Nominalism. Notes on the Ethics of Information Society in View of the Ontology of the Digital

The commodification of code demands two preconditions: a belief if the existence of code and a system of ownership for the code. An examination of these preconditions is helpful for resisting the further widening of digital divides. The ontological belief in the relatively independent existence of code is dependent on our understanding of what the “digital” is. Here it is claimed that the digital is not a natural kind, but a concept that is relative to our practices of interpretation. An interpretative system that sees code as something that can or should always be owned implies an increase of social control and threatens vital processes of knowledge creation that are necessary for an open and egalitarian information society. The ontological belief in “digital code” thus provides the backdrop for an ethical view of the information society. Consequently, if we see digital code as an interpretative notion (in the nominalist way), the ethical questions appear in a different light.     

高职院校图书馆软件建设与职业素质教育

在高职院校以人为本的职业素质教育过程中，图书馆对于学生职业素质的培养具有举足轻重的作用。本文结合我国目前高等职业教育改革现状，揭示了高职院校图书馆软件建设对培养高技能实用人才的特殊作用，及其图书馆在高等职业教育教学过程中的一般运行规律。     

中国大陆高等工程教育专业认证的发展历程与展望

中国大陆高等工程教育专业认证经历了热烈的筹备、良好的开局、漫长的探索三个阶段。总体来看,我国大陆地区高等工程教育专业认证发展缓慢。究其原因,主要在于理论研究滞后、顶层设计重心偏移、认证机构缺乏、专业认证与工程师注册制度脱节等。在此基础上,本文展望了中国大陆高等工程教育专业认证的发展趋势。     

通过研究性学习推进教学过程最优化研究

教学过程可分为课堂内的理论教学和课堂外的实践教学,分别实施互动式课堂教学模式和产学研结合的实践教学模式,培养和提高学生独立思考、解决和探索科学研究问题的能力,同时可把教学过程的优化与强化研究性学习有机地联系起来,并结合课堂教学过程,建立专业课程论文制度,培养和提高学生的论文撰写能力及综合素质,是进一步深化教学改革和提高教学效果的一个有益尝试。     

构建高校思想政治理论课新结构

思想政治理论课只有培养学生主体意识,发挥学生主动精神,思想观念、道德规范等才能变成学生的自我认知和道德品质。构建高校思想政治理论课新结构,包括＂引新、激趣＂,＂自学、讨论＂,＂评价、反馈＂,＂总结、迁移＂四个方面,就是要把重视教师的教与重视学生的学有机统一起来,关注人的发展,落实学生的主体性,让思想观念、道德规范变成学生的自我认知和道德品质。     

基于任务教学法的新视野大学英语课程设计

任务教学法是注重培养学生应用能力和创新能力的一种新型教学法。通过对任务的界定、任务的类型和任务的实施进行陈述,以新视野大学英语课堂设计为范例,着重对任务教学法在大学英语教学中的运用进行了探讨,并提出有益的启示。     

改进公修教育学课堂教学的策略探讨

高师院校教育学课程对培养学生正确的教育观和从事教育教学的基本技能具有积极意义。教育学课堂教学状况与教育学课程本身的地位和作用还很不相称。尝试从教学内容和教学方法两个纬度提出改进教育学课堂教学的策略。     

基于RSS技术的高校精品课程网站推广

RSS是当今在网络信息传输中被广泛采用的信息内容摘要和更新信息投递协议,用以实现向用户主动推送网站最新信息。精品课程网站建设基本完成之后,进一步推广和更新成为主要的工作。分析RSS技术和应用,提出基于RSS技术推广高校精品课程网站。