软件工程及软件方法学
-
生成式及基于组件的软件工程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."
-
着重产品的软件进程改善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.
-
软件产品系列工程Frank van der Linden 著This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Product Family Engineering, PFE 2001, held in Bilbao, Spain, in October 2001.The 31 revised full papers presented together with an introduction and six session reports were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on product issues, process issues, community issues, platform and quality solutions, diversity solutions, product validation, and
-
学习软件组织进展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.
-
数据结构杨正宏编著内容采用循序渐进的方式,包括数组、链接、递归、栈、队列、树、图、排序和查找等。详细介绍了数据结构中每个重要的领域,以表达完整的数据结构概念,增进学习效果。本书对于理论的介绍力求深入浅出,以便读者能够彻底了解各主题的理论根据。精辟深入的概念分析与丰富的实例解说。习题突出本章内容的重点和难点。各种应用实例探讨,以C语言实际操作。
-
软件工程方法与管理汤庸编著高等院校计算机经典教材。