由中国计算机学会主办，软件工程专委会和系统软件专委会协办，天津大学大学承办的第十二届全国软件与应用学术会议（NASAC2013，会议编号CCF-TC-13-16）于2013年11月8-10日上午在天津市鑫贸天财酒店隆重召开。这是中国软件界每年一次的盛会，来自全国各地的代表260多人参加了本次大会，参会人员来自国内的75家大专院校、研究机构和企业。

本次会议安排了3个高水平的特邀报告。首先，新加坡国立大学计算学院院长David S.Rosenblum教授做了题为“Probability and Uncertainty in Software Engineering”的报告，报告主要针对软件工程中的概率和不确定性问题进行讲解。尤其对概率模型检测新技术做了详细介绍，并提出用概率行为模型来预测概率参数的挑战性问题。日本琦玉大学程京德教授带来题为“Ada2012：The Language for Advanced Software Engineering”的报告，对Ada 2012程序设计语言做了全面的介绍，特别介绍了它的新特性和优势，并指出Ada 2012在未来高级软件工程中的深远影响。最后，微软亚洲研究院张冬梅博士做了题为“软件分析实践——方法与经验”的报告，报告介绍了MSRA（微软亚洲研究院）的研究项目，并使用案例分析来分享在技术转移中的方法和经验。

本次会议共收到投稿论文127篇，其中114篇论文通过形式审查，经过双匿名网络评审，最终录用大会报告论文22篇，录用率为17.32%,另外还录取了张贴论文32篇。会议最终评选出了2篇优秀学生论文。

本次会议还新增了“第一届软件研究成果原型比赛”，共有14个原型系统参加了现场复赛。经过参赛者的现场讲解、演示、回答问题，评审委员会最终评选出一等奖1名、二等奖2名、三等奖4名、优秀奖3名。