书籍详情

OESPA:面向语义的编程理论(英文版 OESPA: Semantic Oriented Theory of Programming)

OESPA:面向语义的编程理论(英文版 OESPA: Semantic Oriented Theory of Programming)

作者:袁崇义

出版社:科学出版社

出版时间:2019-08-01

ISBN:9787030600936

定价:¥120.00

购买这本书可以去
内容简介
  传统的软件理论研究是形式语法和形式语义分离,语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果,包括程序模型(OE),语义公理(A),语义谓词(SP),语义谓词演算,是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤,程序验证及程序验证自动化(符号演算)。测试不再是必要的。为开发相应的验证工具奠定了基础。
作者简介
暂缺《OESPA:面向语义的编程理论(英文版 OESPA: Semantic Oriented Theory of Programming)》作者简介
目录
暂缺《OESPA:面向语义的编程理论(英文版 OESPA: Semantic Oriented Theory of Programming)》目录
猜您喜欢

读书导航