传统的软件人才培养偏重于学生实用型技能的培养,缺少面向大系统的架构设计能力、创新能力和综合能力。为解决国家战略性新兴产业对软件研发人才,特别
何积丰
中国大学教学
Intemet的出现使计算机软件所面临的环境开始从静态封闭逐步走向动态开放.为了适应这样一种发展趋势,软件系统开始呈现出一种柔性、多目标、连
软件学报
何积丰,金芝,李宣东.面向服务的计算专刊前言.软件学报,2007,18(12):2965-2966.http://www.jos.org.c
该文使用程序状态转换函数来验证程序的全正确性,由于讨论了程序运行中控制点位置的变化,这给验证有多个出口的程序提供了一个有效的工具.文章最后证
华东师范大学学报(自然科学版)