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

时序逻辑程序设计与软件工程. 下册. 软件工程方法与工具
7030099281
唐稚松等著
华夏英才基金学术文库
TP311
科学出版社
2002-05
2002
2002
本册介绍了软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。