软件工程及软件方法学
-
计算机软件技术基础徐士良、葛兵本书是《计算机软件技术基础》的第二版,书中所有算法均采用C++描述。全书共6章,介绍了计算机软件设计的基础知识、方法与实用技术。主要内容包括:算法,基本数据结构及其运算,查找与排序技术,资源管理技术,数据库技术,应用软件设计与开发技术。第二版主要修订了第一版的前3章,在每章后都配有一定数量的习题。 本书内容丰富,通俗易懂,实用性强,可作为非计算机专业的研究生、大学生的软件课程教材,也可作为广大从事计算机应用工作的科技人员的参考书。 -
NET软件测试自动化之道(美)James D.McCaffrey 著;刘晓伟 译本书内容简洁明了,体例实用方便,为.NET开发者量身定做资深.NET专家之经验汇集,应有尽有开发高质量.NET应用,做优秀.NET开发者本书主要讲解在.NET环境下编写轻量级软件测试自动化程序的实用技术。全书内容由Windows UI测试、Web应用程序测试和存储过程及XML测试三部分组成,全面介绍了如何利用.NET平台提供的一系列技术(而不是依赖于第三方的商业自动化测试工具),采用C#语言编写轻量级的、功能强大的自动化测试程序。本书各个章节所提供的示例代码适用于单元测试(Unit Test)、集成测试(Integration Test)等软件开发过程中的各个测试环节。本书适合于所有在.NET平台上从事应用程序开发的程序员、测试人员以及自动化测试工具开发人员。 -
计算机软件技术基础沈朝辉《计算机软件技术基础》根据教育部对计算机基础教学的三个层次的要求编写,共分三部分16章,主要内容涉及数据结构与算法基础、数据库及其应用基础、软件工程基础三方面。本书遵循由浅入深、简繁适当、加强基础、重在应用的原则,结合典型的实例进行讲解。《计算机软件技术基础》适合作为高校非计算机专业学生的计算机基础课程的教材,也可供从事计算机软件开发工作的技术人员、欲参加计算机等级考试或需要学习计算机软件基础知识的读者参考。 -
软件工程臧铁钢、冷晟、钱晓明、朱健江、王晓勇《21世纪高等院校计算机教材:软件工程》介绍了软件工程概论、软件系统可行性研究与需求分析、软件设计、编码与程序设计语言、软件的技术度量及质量保证、软件测试、软件维护、软件项目管理等内容。 -
软件工程(丹)比约纳《软件工程卷1-3》是冯诺依曼奖章获得者、世界著名的计算机科学家 Dines Bjoiner教授的最新著作。这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计,即软件工程的三个相互关联并重叠的组成部分,或称之为软件工程的“三部曲”。在软件开发的各个阶段,如果都能够采用这种形式化的开发模式,将能够在极大程度上保证软件开发的正确性和有效性。《软件工程卷1:抽象与建模》介绍了抽象与建模的基本原理和技术。首先,本卷给出了离散数学的基本介绍,包括数、集合、笛卡尔、类型、函数、λ-演算、代数和数理逻辑,然后讲授基本的面向属性与面向模型的规约的基本原理和技术。一些其他的规约语言,比如B、VDM-SL和Z都具有面向模型的概念,本卷则通过RAISE规约语言RSL来讲解这个概念。本卷还介绍了有关应用式(函数式)、命令式和并发式(并行式)规约程序设计的基本原则。最后,本卷给出了一个全面的软件工程术语表以及大量的索引和参考文献。《软件工程卷2:系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先,然后讲授一些高级的原理和技术:分层与组合、指称与计算以及构型:环境与状态的抽象与建模,然后讲授符号学建模的基本原理和技术:语用,语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题,比如模块(包括UML的类图)、Petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后,本卷介绍了开发函数式,命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生,以及研究程序设计方法学的学者的教材或参考书。《软件工程卷3:领域、需求与软件设计》介绍了整体软件开发的基本原理和技巧:从领域描述,经过需求分析,直到软件设计。本卷倡导一种全新的软件工程开发模式:在需求被形式化之前,人们必须理解应用领域,因此本卷首先介绍领域描述的原理和技术,然后介绍从领域模型导出需求规则的原理和技术,最后介绍细化需求到软件设计的原理和技术:体系结构和组件设计。这套丛书可以被视为软件工程史上里程碑式的著作。作者通过长达30 年的程序设计方法论的研究与实践,加上长达25年不断完善的课程讲义汇编成这一套前后连贯、内容一致以及相对完整的软件工程著作。这套丛书的一个显著特点就是在这三卷书中,所有的原理、技术和工具都是通过大量的案例分析来进行阐述,并覆盖了所有主要的软件开发时期、阶段和步骤,同时,这些原理、技术和工具是能够被应用于大型工业和商业软件的开发项目中去的。这套丛书不但可以作为高校计算机专业学生、教师以及研究人员的教材和必备参考书,而且在工业和计算机产业界也具有极大的实用价值。 -
学习MICROSTATION VBA(美)温特斯 编著,BENTLEY软件(北京)有限公司 译本书首先介绍了基本的VBA知识,随后展示了现实世界中使用VBA的基本原理,并基于MicroStation软件的平台,系统地介绍了利用VBA编程语言充分扩展MicroStation软件的方法与实例,覆盖了VBA的各个主题,包括基本的编辑环境、模块,可视界面和MicroStation对象模型,以及高级的 Windows API、与其他应用程序交互等内容。本书所附光盘含有各章中用到的所有源代码,还包含本书中提及的过程和附带文件以及完整的对象模型列表和其他样例文件,便于读者参考使用。本书适用于MicroStation软件的使用人员、工程设计人员、软件开发人员以及相关专业的学生参考。 -
Struts框架应用与开发李世祥 编著者Jakarta—Struts是Apache软件组织提供的一项开放源代码项目,它为JavaWeb应用提供了模型一视图一控制器(Model—View—Controller,MVC)框架,尤其适用于开发大型可扩展的Web应用。随着Web技术的成熟和发展,Struts框架逐渐成为了Web开发中的主流框架。Struts框架为软件开发者提供了丰富的资源和软件开发包,大大提高了开发Web应用的速度和效率。 “理论+实践”是本书的一大特点。本书中不仅有完整的理论讲解,而且全书由一个完整的实例贯穿始终,让读者在实践中深入掌握Struts框架的相关知识。 本书凝聚了作者多年的实践经验,并讲述实际开发中最需要的技术,适合所有准备学习Struts框架的读者。 -
Skype傻瓜书Loren Abdulezer 著See how to use Skype for secure chats and connect SkypeOut and SkypeIN. Here's the fun and easy way (r) to understand all the hype about Skype and make this cool alternative communication system work for you! You'll get great advice about hardware, directions for downloading and installing Skype, ideas for using Skype in your business, and the lowdown on making Skype calls to people with old-fashioned phones. Discover how to: Install Skype and start making calls Create a contacts list Set up voicemail and call forwarding Use Skype for worldwide conference calls and Skypecasting Enhance Skype with Bluetooth, Wi-Fi wireless, and video -
ARM微处理器应用开发技术详解与实例分析韩山、郭云、付海艳《ARM微处理器应用开发技术详解与实例分析》出自国际知名企业(GE)的嵌入式开发工程师之手,全书偏重于工程实践,提供了包括原理图、源代码等在内的丰富工程案例,帮助初学者入门和参考设计,对工程设汁也有显著的指导意义。全书共9章,深入浅出地对流行的ARM处理器结构特点和相关应用技术进行了总结,内容涉及ARM内部的体系结构和编程模型、ARM指令集和汇编程序的开发、基于ARM的硬件系统设计方法、ARM软件的开发工具使用及编程技巧、两种流行的嵌入式操作系统I-tC/OS—II和Nucleus的特性和使用方法、在系统编程IAP技术在ARM中的应用等,这些都是ARM开发人员期望了解和需要掌握的知识。《ARM微处理器应用开发技术详解与实例分析》在生动陈述理论的同时,提供了有针对性的系统级硬件和软件的多个设计范例,以此帮助读者加深对各章节内容的理解。《ARM微处理器应用开发技术详解与实例分析》结构清晰,实用性强,可以作为相关高等院校和培训学校的ARM教材,也可作为嵌入式开发人员的参考用书。 -
软件工程(丹)比约纳《软件工程卷2:系统与语言规约》介绍了描述系统与语言的规约的基本原理和技术。首先,然后讲授一些高级的原理和技术:分层与组合、指称与计算以及构型:环境与状态的抽象与建模,然后讲授符号学建模的基本原理和技术:语用、语义以及系统和语言的句法。其中重要的一部分介绍了对空间和简单时态现象进行建模的基本原理和技术。本卷的主要章节用于介绍一些专门的主题,比如模块(包括UML的类图)、Petri网、活动序列图、状态图和时态逻辑(包括时段演算)。最后,本卷介绍了开发函数式,命令式以及并行程序设计语言的可靠和有效的解释器和编译器的基本原理和技术。本卷适合于作为高年级本科生和研究生,以及研究程序设计方法学的学者的教材或参考书。
