软件工程形式化方法与语言

本书第一部分介绍了Z语言的背景知识，包括集合论和一阶谓词演算等概念及其形式化表达方法；第二部分介绍了Z语言构成及其规格说明的结构化，引入求精理论；第三部分介绍了Martin-Lof类型理论，及其规则定义和推导演算...

中国工程地质软件大全

工程地质学 土木工程

笑谈软件工程 烽烟中的敏捷

本书凝聚作者从事软件开发十多年来的思考与实践，从8个方面说明了如何从传统的瀑布开发过渡到敏捷开发。作者以诙谐幽默的文笔，于谈笑间揭示软件开发的现状，探讨Scrum的组成，解释何为精益，剖析软件工程的全新思维...

小型水利工程手册 蓄水工程

三峡工程坝基岩体工程研究

小型水利工程手册 渠道工程

软件工程技术及应用

本书主要包括软件工程技术基础，计划立项等方面的知识。

软件工程理论与实践

本书按照典型的软件开发过程来组织内容，旨在培养读者具备软件工程思想及实际软件开发的能力。全书共14章，主要内容包括：软件工程与软件过程、软件需求分析、软件设计、软件编程与软件测试，以及软件维护与软件工...

高等学校教材 桥梁工程 土木工程、交通工程专业用

本书为21世纪高等学校教材，系统介绍了桥梁工程的规划、设计、施工、结构分析及计算机程序等内容，包括桥梁、拱桥、斜拉桥、桥梁墩台等几部分。...