当前随着互联网的发展和深化,呈现以云计算、物联网、移动通信等为支撑,综合利用人类社会、信息空间、物理世界的资源,以开放协作的方式进行个性化的计算的应用发展趋势。此类应用模式表现出应用需求的多样性和多变性、应用环境的开放性和动态性。以及服务对象的泛在性和社会性等基本特征。从计算平台和应用模式两个侧面研究软件技术发展的驱动力,分析总结“人-机-物”融合应用的发展趋势及其对于软件技术的新需求;从环境显式化的角度,研究网构软件系统环境认知建模与规约方法,进而给出高效的环境感知技术。从软件在线演化的连续性和可达性入手,研究在线演化的形式化规约和建模方法,并在多层次的软件在线更新机制支持下,帮助实现高一致性保障、低运行干扰的无缝软件演化。