时序逻辑程序设计与软件工程（下册 软件工程方法与工具）

　　国家自然科学基金研究成果专著出版基金资助。本册介绍了软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。

暂缺《时序逻辑程序设计与软件工程（下册 软件工程方法与工具）》作者简介

暂缺《时序逻辑程序设计与软件工程（下册 软件工程方法与工具）》目录