时序逻辑程序设计与软件工程. 下册. 软件工程方法与工具.pdf
本册介绍了软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。
时序逻辑
时序逻辑与时序逻辑程序设计.pdf
The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment flag