冯诺依曼奖章冯·诺依曼理论奖创建于1975年，每年颁发一次，奖励给在运筹管理学领域做出奠基性的，有深远影响力贡献的一名科学家或一个研究群体。获奖者中，既有
诺贝尔经济学奖获得者，也有众多计算机科学、控制论等领域的创始人。
比约尼尔教授的
著作《软件工程卷1～3》为读者理解软件和软件开发过程提供了一个“全新的视角”
这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。
这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30年的程序设计方法论的研究与实践，加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中，所有的原理、技术和工具都是通过大量的案例分析来进行阐述，并覆盖了所有主要的软件开发时期、阶段和步骤；同时，这些原理、技术和工具是能够应用在大型工业和商业软件的开发项目中去的