军用软件工程相关电子书下载

李莹，吴江琴著2010 年出版200 页ISBN：9787308066679

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

黄运飞，黄润秋主编1993 年出版176 页ISBN：7116014144

张耀庭等编著2002 年出版237 页ISBN：756092588X

陈建村著2013 年出版343 页ISBN：9787302310631

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

陕西省水利学校编1978 年出版361 页ISBN：15144·522

任自民，马代馨，田野等著1998 年出版342 页ISBN：7562513082

陕西省水利学校编1975 年出版179 页ISBN：15144·489

贾铁军编著2009 年出版277 页ISBN：9787111273141

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

吕云翔编著2017 年出版354 页ISBN：9787111571438

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

邵旭东主编2005 年出版555 页ISBN：7114047967

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