时序逻辑程序设计与软件工程. 下册. 软件工程方法与工具.pdf 本册介绍了软件工程方法与工具，内容包括面向模块程序设计的可视化图形工具，基于形式规范的逐步求精过程、速成原型与模型检验方法，可视化体系结构描述语言与工具及其在软件开发过程中的的应用等。 叁号仓库 2022年07月21日 0 点赞 0 评论 6167 浏览
