软件工程及软件方法学
-
现代软件工程周之英编著本书分为上、中、下三册,每册独立成篇,上册为管理技术篇,中册为基本方法篇,下册为新技术篇。中册集中介绍了软件开发过程中最重要的两个阶段(需求分析阶段和设计阶段)中的主要软件工程方法,并讨论了各种不同类型方法的来历、特点、优缺点、目前的发展、应用状况和一些实例。读者可以从不同方法中了解软件工程方法的发展历程,从而灵活地选用适合特定要求的方法,甚至必要时能创造性地发展自己独特的软件工程方法。中册可作为学习计算机软件工程和信息系统工程的大学生、研究生的教材或参考资料,对从事软件开发的技术人员来说,本书是提高软件开发技术水平的重要参考资料。同时,该书也可帮助软件工程管理人员提高技术能力。 -
现代软件工程周之英编著本书分为上、中、下三册,每册独立成篇,上册为管理技术篇,中册为基本方法篇,下册为新技术篇。下册总结了90年代软件工程技术的最新成就,包括软件设计模式和分布系统相关的部件模型。软件设计模式代表了从成功的系统设计中分离出来的可复用的优秀设计经验,已成为现代软件系统设计方法的重要研究对象。网络计算机环境下的许多重要软件系统都在不同程度上应用了设计模式。同时,分布系统的开发要求,使面向部件的开发方法成为90年代软件系统的主流。本书介绍了基于部件系统的三种部件体系结构模型:CORBA、DCOM和JavaBean。下册可供学习计算机软件工程和信息系统工程的大学生、研究生作教材或参考材料。对从事网络计算环境下信息系统工作的技术人员和管理人员来说,本书是学习和了解最新技术进步的重要参考资料。 -
共享软件宝典苏武荣,顾剑主编本书通俗直观地描述了软件下载的一般步骤以及对下载软件进行解压缩和查毒杀毒的方法,介绍了当前比较出色的100个优秀工具软件的功能特点和完整的下载网址,介绍了100个国内外著名的软件资源宝库网址,并作出了详尽的描述。本书通俗易懂、资料翔实,适合Internet用户及电脑、网络爱好者阅读。 -
数据结构习题与解析李春葆编著本书根据数据结构课程的教学大纲要求,全面讨论了数据结构的基本内容及相关题解。全书共分13章,每章先给出内容概述,然后给出该章的习题和题解,习题分为基本题和习题解析两部分,前者由选择题和填空题两种题型组成,直接给出答案;后者对每个习题的解答给出了完整的过程。本书内容丰富,习题覆盖面广,既收集了较容易的题目,也收集了难度适中和较高难度的题目,如一些高校计算机专业招收硕士研究生的《数据结构》试题。本书可作为计算机专业本、专科学生的学习参考书,也是报考计算机专业硕士研究生的考生必读参考书,还适用于自学考试的读者和计算机等级(三级或四级)考试者研习。 -
分形与图象压缩陈守吉,张立明编著《分形与图象压缩》是非线性科学丛书中的一种,介绍分形在图象压缩编码中的应用。全书计分三章,包括分形几何基础、迭代函数系统、拼贴定理、分形图象压缩的基本原理和实现方法,《分形与图象压缩》是一本非线性科学应用于图象压缩的科技著作。 -
如何计算和使用GDP王仁曾,赵彦云编著本书是经济知识普及读物“大众经济丛书”中的一本。本书从读者常听、常见的事物入手,由浅及深,阐述了GDP这个常用的经济统计指标的概念、它的由来、计算方法和使用方法,并有大量的应用GDP对现时国内、国际经济进行分析的论证。 -
计算机与自动化系统2000年问题分析及解决方案李俊明,王奇志编著全书全面、系统地介绍了计算机与自动化系统2000年问题分析与解决方案,全书共9章。内容包括什么是计算机2000年问题,计算机2000问题的危害,国际对2000年问题的反应以及带来的机遇,我国计算机2000问题的现状与对策,2000年问题测试标准和解决方案,自动化领域的2000年问题的法律条款与2000年问题的服务等内容。本书可供计算机与自动化系统管理员,设计、开发、测试、维护人员,政府相关的管理人员,计算机使用者阅读,并可作为计算机2000问题培训班教材。 -
软件工程郑人杰主编;殷人昆,王萍,谢若阳编著内容简介本书是根据1999年中国计算机软件专业技术资格和水平考试中心公布的《中国计算机软件专业技术水平考试大纲》对软件工程(中级)考试的要求编写的。书中分为3篇,第1篇是C++和面向对象程序设计;第2篇是用C++与面向对象方法描述的数据结构;第3篇是软件工程方法。本书的内容相当完整,基本覆盖考试要求。每章最后附有习题,可作为自测的依据。本书可作为参加考试的指导教材,还可以作为各有关院校计算机软件课程学习的参考教材,以及从事计算机软件开发的技术人员学习软件开发基本知识的辅助教材。 -
时序逻辑程序设计与软件工程唐稚松等著本书旨在介绍一种面向软件工程的时序逻辑语言及以该语言为基础的支撑软件开发全过程的软件工程系统,目标是希望能为一般工业界用户服务,以提高软件开发的自动化水平及所开发的软件的可靠性与可维护性。本书是作者近20年来研究成果的总结。全书共分上、下两册出版。 上册介绍时序逻辑语言XYZ/E,内容包括XYZ系统研制的技术和哲学背景,XYZ/E的逻辑基础,XYZ/E的基本特征和基本成分,XYZ/E的控制结构,XYZ/E中所表示的各种机制,XYZ/E的实现,基于XYZ/E的实时程序设计,以及在XYZ/E框架内的程序规范与Hoare逻辑验证等。下册介绍软件工程方法与工具,内容包括基于模块程序设计的可视化图形工具,面向形式规范的逐步求精过程与速成原形方法,以可视图图形表示的体系结构描述语言XYZ/ADL及其软件开发过程中的应用;除以上三种不同软件开发方法外,最后还介绍了基于共享变量的程序验证方法、语言转换工具及其在软件再 -
网上实用软件精选王德祥编著对于广大Internet用户来说,网上的各种免费/共享软件实在是一个迷人的大宝藏。借助这些浏览器、电子邮件软件等,我们以轻松地在网上冲浪,与朋友进行联络,从网上下载软件。另外,网上还有大量小巧的程序,可以提高我们的工作效率,增加工作的乐趣。这些软件分为以下7类。网络浏览程序:目前网上主流浏览器以及其他一些小巧好用的特种浏览器。浏览伴侣程序:一些可以用来提高浏览效率的应用软件。电子邮件程序:比较流行并且值得一用的电子邮件程序。传呼聊天程序:常用的ICQ程序。拨号连接程序:拨叼连接看似简单,但用过这里介绍的拨号连接程序,读者也许会有进一步的认识。下载管理程序:从网上下载大软件往往是一件痉的事情,这埯介绍并综合评介了几种学用的下载管理程序。网上软件欣赏:一批很有使用价值的小工具软件,读者不妨一试。本书可以帮助广大Internet用户从网上选择优秀的应用软件,并掌握使用方法。
