软件工程及软件方法学
-
数据结构习题与解析李春葆编著本书根据数据结构课程的教学大纲要求,全面讨论了数据结构的基本内容及相关题解。全书共分13章,每章先给出内容概述,然后给出该章的习题和题解,习题分为基本题和习题解析两部分,前者由选择题和填空题两种题型组成,直接给出答案;后者对每个习题的解答给出了完整的过程。本书内容丰富,习题覆盖面广,既收集了较容易的题目,也收集了难度适中和较高难度的题目,如一些高校计算机专业招收硕士研究生的《数据结构》试题。本书可作为计算机专业本、专科学生的学习参考书,也是报考计算机专业硕士研究生的考生必读参考书,还适用于自学考试的读者和计算机等级(三级或四级)考试者研习。 -
小波变换及其MATLAB工具的应用郑治真这是一本关于小波变换的基础读物,它以较短的篇幅介绍了小波变换的主要内容:连续小波变换、离散小波变换、二进正交小波变换、多分辨率分析、小波包变换等。本书有如下特点:首先,书中介绍了适量的预备知识;其次,结合信号处理理论清楚地阐述了小波变换的物理意义;其三,对小波变换中的重要公式给出详细推导;最后,在书中的第二部分介绍了MATLAB工具在小波变换中的应用,使读者很容易从小波理论学习转入小披变换的实际资料处理。本书的读者对象为非数学专业的本科生和研究生,也可供从事信号处理的科技人员参考。 -
通信软件设计基础宋茂强等编著本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML、消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言。并以设计一个微型交换机软件为例,说明如何运用这些形式化语言进行通信软件的需求分析、概要设计和详细设计。本书可作为计算机通信专业高年级本科生和研究生的教材,也可供通信软件开发人员参考。 -
服装计算机应用林德静 主编随着服装CAD技术的广泛应用,设有装专业的各类院校相继开设了服装CAD应用课程。条件好一些的学校一般采用商品化服装CAD系统进行教学。这种教学模式的最大弱点是与客户熟练性操作的商品培训相差无几。尤其对大专院校学生来说,不利于他们的CAD应用技术能力的培养。因此一些有识院校已将服装CAD应用课程改为服装计算机应用课程,教学结构从单一的商品化服装CAD软件的操练调为以计算机美术设计软件、CAD设计软件辅助服装设计及解决工程问题为主,以介绍商品化服装CAD软件为辅的教学模式。本书正是为此种教学提供的教材。本书内容是编者多年来在这方面教学实践的总结。它在北京服装院的成人教育大专班,服装系设计服装工程本科班教学和毕业设计以及研究生的教学中得到了实践,并且对提高教学质量起到积极作用。本书特别注重对学生CAD应用能力的培养。同时提供一种可行、实用的个人服装CAD软件环境,来指导读者如何使用家庭计算机,借用通用CAD软件来解决和处理服装设计与工程问题。本书也是首次介绍用AutoCAD开发服装CAD功能的参考书。 -
数据结构王庆瑞编著本书从程序设计、算法设计与分析的观点出发,论述了数据结构的基本理论。包括绪论、线性表、链表、矩阵和散列表、树、图、排序、文件、算法设计的基本方法等九章。前五章以数据集上常用的查找、插入、删除运算为线索,详述各种基本数据结构的特点、存储表示、运算算法的设计及其性能评价。后几章分别介绍了图的常用算法、各种内部排序方法、文件结构和外部排序技术。最后一章对全书所用到的算法设计技术作了概括性的总结。本书语言通俗流畅,叙述简洁,内容丰富,编排独特,习题量大,图文规范,术语统一。可作为计算机科学和技术专业及相关专业的本科生。大专生教材,也可选作广播电视教学、函授教学或自学和专业参考书籍。 -
学习软件组织进展Klaus-Dieter Althoff 著This book constitutes the refereed proceedings of the Second International Conference on Electronic Commerce and Web Technologies, EC-Web 2001, held in Munich, Germany in September 2001. The 31 revised full papers presented together with one invited survey were carefully reviewed and selected from more than 80 submissions. The papers are organized in topical sections on Web software development; XML transformation; electronic payment, simulation and case studies; modeling design, and complex transactions; security aspects; electronic negotiation and trust; product catalogs; Web site engineering; user behaviour and modeling; and business models and system aspects. -
用户建模2001User modeling 2001Mathias Bauer 著The LNAI series reports state-of-the-art results in artificial intelligence re-search,development,and education,at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNAI has grown into the most comprehensive artificial intelligence research forum available.The scope of LNAI spans the whole range of artificial intelligence and intelli-gent information processing including interdisciplinary topics in a variety ofapplication fields. The type of material published traditionally includesproceedings(published in time for the respective conference)post-proceedings(consisting of thoroughly revised final full papers)research monographs(which may be based on PhD work) -
生成式及基于组成的软件工程Jan Bosch 著This book constitutes the refereed proceedings of the Third International Conference on Generative and Component-Based Software Engineering, GCSE 2001, held in Erfurt, Germany, in September 2001.The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on software product lines, aspects, generic and generative approaches, and components and architectures -
面向代理的软件工程Paolo Ciancarini 著One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order to satisfy its design objectives, is a natural one for software designers. Just as we can understand many systems as being composed of essentially passive objects, which have a state and upon which we can perform operations, so we can understand many others as being made up of interacting semi-autonomous agents. This book brings together revised versions of papers presented at the First International Workshop on Agent-Oriented Software Engineering, AOSE 2000, held in Limerick, Ireland, in conjunction with ICSE 2000, and several invited papers. As a comprehensive and competent overview of agent-oriented software engineering, the book addresses software engineers interested in the new paradigm and technology as well as research and development professionals active in agent technology. -
异常处理技术进展Alexander Romanovsky 著Modern software systems are becoming more complex in many ways and have to cope with a growing number of abnormal situations which, in turn, are increasingly complex to handle. The most general way of dealing with these problems is by incorporating exception handling techniques in software design. In the past, various exception handling models and techniques have been proposed and many of them are part of practical languages and software composition technologies.This book is composed of five parts, which deal with topics related to exception handling in the context of programming language models, design methodologies, concurrent and distributed systems, applications and experiences, and large-scale systems such as database and workflow process mangagement systems. The 17 coherently written chapters by leading researchers competently address a wide range of issues in exception handling.
