软件工程及软件方法学
-
探索极限编程[美]Willian C.Wake著;郑荣林译极限编程(XP)是一种经历过实践考验的轻量级软件开发方法学,本书提供了最佳的XP开发人员实践。本书共分三部分,第一部分探讨了XP编程规则,其中第1章介绍了XP程序员的编程方法——测试先行的增量编程方法;第2章介绍了XP程序员改进代码的方法——重构。第二部分探讨了XP团队是如何实践的。其中第3章介绍了面向团队的实践活动和其他的替代方案;第4章介绍了结对编程实践;第5章介绍了XP程序的体系结构;第6章探索了如何用隐喻驱动不同类型系统的概念化并实现它。第三部分探讨了XP过程。第7章描述了版本发布计划;第8章演示迭代的计划游戏;第9章描述迭代过程中客户、程序员和管理人员的日常活动。本书最后总结了XP的方方面面,并提供了大量的XP参考资源。本书就XP各方面的具体机制进行了专题探讨,语言轻松活泼,实用性与可读性较强,适合于软件开发人员、软件项目管理人员,以及所有想要了解XP的各界人士参考。 -
学习软件组织进展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. -
面向代理的软件工程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. -
多代理系统用迭代软件工程Jürgen Lind 著The agent metaphor and the agent-based approach to systems design constitute a promising new paradigm for building complex distributed systems. However, until now, the majority of the agent-based applications available have been built by researchers who specialize in agent-based computing and distributed artificial intelligence. If agent-based computing is to become anything more than a niche technology practiced by the few, then the base of people who can successfully apply the approach needs to be broadened dramatically. A major step in this broadening endeavor is the development of methodologies for agent-oriented software engineering accessible to and attractive for professional software engineers in their daily work. Against this background, this book presents one of the first co-herent attempts to develop such a methodology for a broad class of agent-based systems. The author provides a clear introduction to the key issues in the field of agent-oriented software engineering as well as a comprehensive overview of the state of the art. The core contribution is the presentation and application-based evalua-tion of the MASSIVE methodology for iterative multiagent system engineering. The bookwill serve as a valuable source of reference for R&D pro-fessionals active in agent-based computing as well as a gentle and systems development and anced students. -
异常处理技术进展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. -
着重产品的软件进程改善Frank Bomarius 著This book constitutes the refereed proceedings of the Third International Conference on Product Focused Software Process Improvement, PROFES 2001, held in Kaiserslautern, Germany, in September 2001.The 27 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on quality of software, software process assessment and improvement, organizational learning and experience factory, industrial experiences and case studies, software and process modeling, and empirical software engineering. -
用户建模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) -
生成式及基于组件的软件工程Greg Butfler,Stan Jarzabek 著"This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Generative and Component-Based Software Engineering, GCSE 2000, held in Erfurt, Germany in October 2000.The twelve revised full papers presented with two invited keynote papers were carefully reviewed and selected from 29 submissions. The book offers topical sections on aspects and patterns, models and paradigms, components and architectures, and Mixin-based composition and metaprogramming." -
数据结构王庆瑞编著本书从程序设计、算法设计与分析的观点出发,论述了数据结构的基本理论。包括绪论、线性表、链表、矩阵和散列表、树、图、排序、文件、算法设计的基本方法等九章。前五章以数据集上常用的查找、插入、删除运算为线索,详述各种基本数据结构的特点、存储表示、运算算法的设计及其性能评价。后几章分别介绍了图的常用算法、各种内部排序方法、文件结构和外部排序技术。最后一章对全书所用到的算法设计技术作了概括性的总结。本书语言通俗流畅,叙述简洁,内容丰富,编排独特,习题量大,图文规范,术语统一。可作为计算机科学和技术专业及相关专业的本科生。大专生教材,也可选作广播电视教学、函授教学或自学和专业参考书籍。 -
生成式及基于组成的软件工程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
