该文研究的主要目标是利用薛教授在开发循环不变式的新策略中提出的递归定义思想,探索一类递归定义问题的循环不变式开发技术,并应......

随着软件产业的快速发展,人才日渐成为制约产业发展的关键因素。程序设计ICAI(Intelligent Computer-Assisted Instruction)软件作......

随着网络教育和多媒体技术的蓬勃发展,设计和制作基于网络的游戏性课件已经成为当前研究的热点。网络游戏性课件可以为学生提供一......