作者：
出版社： 科学出版社
CIP号：2018287825
书号：978-7-03-060093-6
出版地：北京
出版时间：2018.12
定价：￥90.0
传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤，程序验证及程序验证自动化（符号演算）。测试不再是必要的。为开发相应的验证工具奠定了基础。语义谓词和语义谓词演算是传统数学没有的新概念，新理论，突破了传统数学的局限，使新的程序理论成为可能。