“软件定义一切”，软件已经成为信息化社会不可或缺的基础设施。高效地构建和运用复杂软件系统的能力已经成为国家和社会发展的一种核心竞争力。本书系统综述软件和软件技术的发展历程与现状，总结软件科学与工程学科（简称软件学科）的基本内涵和发展规律；从系统观形态观、价值观和生态观四个视角探讨软件学科的方法论新内涵，并进一步梳理其学科方向的重大挑战问题和主要研究内容：简要回顾我国软件学科的发展历程，并提出学科发展的建议。 本书适合战略和管理专家、相关领域的高等院校师生、研究机构的研究人员阅读，有助于读者洞悉软件学科发展规律、把握前沿领域和重点方向。同时，本书可供科技管理部门决策时参考，也可作为社会公众了解软件学科发展现状及趋势的读本。

总序
前言
摘要
Abstract
总论
第一节 软件与软件学科
一、软件
二、软件的重要作用
三、软件学科
四、软件学科的重要地位
第二节 发展历程与发展规律
一、软件学科发展历程
二、软件学科发展规律
三、我国的软件学科、教育与产业
第三节 发展趋势与挑战问题
一、软件成为基础设施
二、软件学科的拓展
三、软件学科的新理解
四、学科研究的主要问题
第四节 政策建议
一、加强软件基础前沿研究
二、升级完善软件学科高等教育体系
三、构建软件产业良性发展环境
第五节 本章小结
第一篇 软件学科发展回顾
第一章 引言
第一节 软件发展简史
一、人力/机械计算时代
二、电子计算时代
三、软件和软件工程的出现
四、软件发展的主线
第二节 软件学科的内涵、发展规律和基本架构
一、内涵与学科特征
二、学科发展的基本规律
三、软件学科的基本架构
第三节 本章小结
第二章 程序设计语言与理论
第一节 概述
第二节 程序设计语言
一、语言的设计、实现及生命周期
二、应用驱动的程序设计语言发展
第三节 程序理论
一、程序设计语言的语法
二、程序设计语言的类型系统
三、程序的语义
四、程序的规约
五、程序设计理论框架
第四节 程序正确性构造
一、程序验证
二、程序的自动综合
三、程序的精化
第五节 本章小结
……
第二篇 新时代的软件学科
第三篇 中国软件学科发展建议
参考文献
关键词索引