软件工程及软件方法学
-
异常处理技术高级论题Christophe Dony 等著Keep connected to what's happening in the world of books by signing up for Amazon.com Books Delivers, our monthly sub*ion e-mail newsletters. Discover new releases in your favorite categories, popular pre-orders and bestsellers, exclusive author interviews and podcasts, special sales, and more. -
软件工艺改进Ita Richardson 著This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, held in Joensuu, Finland in October 2006.The 18 revised full papers presented were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on SPI (Software Process Improvement) processes, SPI and risk management, measurement, process modelling, human factors, and implementation of SPI. -
软件测试的形式方法 FATES 2005/会议文集Wolfgang Grieskamp,Carsten Weise 著This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in July 2005 in conjunction with CAV 2005.The 13 revised full papers presented together with 1 work-in-progress paper were carefully selected from 38 initial submissions. The papers address formal approaches to testing and use techniques from areas like theorem proving, model checking, constraint resolution, program analysis, abstract interpretation, Markov chains, and various others. These techniques are combined with traditional approaches to testing. -
面向Aspect的软件开发汇刊 II 焦点Awais Rashid 著The LNCS Jounal on Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techniques in the context of all phases of the software life cycle, from requirements and design to implementation, maintenance and evolution. The focus of the journal is on approaches for systematic identification, modularization, representation and composition of crosscutting concerns, i.e., the aspects and evaluation of such approaches and their impact on improving quality attributes of software systems.This volume, the second in the Transactions on Aspect-Oriented Software Development series, presents 2 regular revised papers, a guest editors' introduction, and 6 papers in a special section that have been through a careful peer reviewing process by the journal's Editorial Board. Besides a wide range of topics from software design to implementation of aspect-oriented languages, the 6 papers of the special section concentrate on AOP systems, software and middleware. -
模型驱动架构Jos Warmer 著This book constitutes the refereed proceedings of the Second European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA 2006, held in Bilbao, Spain, in July 2006.The 30 revised full papers presented - 18 papers from the foundations track and 12 from the applications track - were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on integration, applikcatoins of transformations, applications of MDA, process, model consistency, model management, transformation, ontologies, re-engineering, tools and profiles, tool generation, constraints, model management and transformations. -
软件结构的质量Christine Hofmeister 著This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2006, held in Västerås, Sweden in June 2006, co-located with the 9th International Symposium on Component-Based Software Engineering, CBSE 2006.The 12 revised full papers presented together with the abstracts of 2 keynote talks and 3 tutorials were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on architecture evaluation: selecting alternatives, managing and applying architectural knowledge, architectural evaluation: performance prediction, processes for supporting architecture quality, models for architecture evaluation, and architectural evaluation. -
软件组成Welf 等著This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Software Composition, SC 2006, held in Vienna, Austria in March 2006. The workshop has been organized as a satellite event of the European Joint Conferences on Theory and Practice of Software, ETAPS 2006.The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 60 submissions. The papers reflect current research in software composition to foster developing of composition models and techniques by using aspect-oriented programming, specification of component contracts and protocols, and methods of correct components composition. -
重构与模式(美)Joshua Kerievsky 著;杨光、刘基诚 译本书开创性地深入揭示了重构与模式这两种软件开发关键技术之间的联系,说明了通过重构实现模式改善既有的设计,往往优于在新的设计早期使用模式。本书不仅展示了一种应用模式和重构的创新方法,而且有助于读者结合实战深入理解重构和模式。书中讲述了27种重构方式。 本书适于面向对象软件开发人员阅读,也可作为高校计算机专业、软件工程专业师生的参考读物。 -
软件质量保证和管理朱少民质量是保证企业在激烈的市场竞争中立于不败之地的根本,那么,软件企业如何建立现代的质量管理体系?如何在整个软件开发过程中保证软件质量?本书给出了正确的、系统的答案。.全书共17章,第1~10章全面阐述了质量和软件质量的概念、软件质量工程体系的思想和内容、软件质量控制和管理的方法和技术,包括软件质量标准、配置管理、质量度量和可靠性评估等。第11~17章则重点放在实际的软件质量工作上,深入探讨了需求分析、软件设计、编程和测试、软件发布和维护等各个阶段的软件质量活动,包括质量人员的组织和培训、质量策划、设计模式的有效应用、编程的最佳实现方法。..全书内容丰富,涉及软件质量工作的各个层次,强调质量文化和理念,引入了质量管理领域里最具价值、代表性的质量体系,包括CMM、TQM、六西格玛和零缺陷管理等,并将这些思想和方法贯穿和应用到整个软件开发全过程的质量保证和管理活动之中。本书可作为高等院校高年级本科生、研究生学习软件工程的教材,也可作为从事软件工程研究和应用的有关人员的参考书。本书封面贴有清华大学出版社防伪标签,无标签者不得销售。... -
核心测试过程(美)布莱克 著,李华飚 译在当今快速发展的环境中,软件测试过程扮演着越来越重要的角色。虽然敏捷方法解决了公司要快速开发出产品的需求,但测试过程同样满足了一个重要的需求——得到正确的产品。.在这本新书中,Rex Black凭借他自己的大量经验阐述了测试过程的全景和精华:对于测试成功至关重要的12个测试过程。在每个过程之后,又引入了一个写得很有趣的案例研究,演示了它在各种组织、运作和技术环境下的使用情况。这本书没有令人心烦的规则,而是提供了检查列表——一种轻量级的、灵活的工具,用于实现面向过程的测试,收集度量,进行增量式的过程改进。特别地,他向测试人员显示了如何:..·有效、一致地处理多次发生的测试·建立一个团结的、协作的团队,避免了冗余性·通过有效地通报测试结果,建立可信度和声誉·测试的重点集中在尽可能地满足顾客需要和满足组织的目标上由于测试是一种协作性的过程,因此要求整个组织的人员参与,作者还深入地讨论了人际关系和文化问题。他也描述了经常被过分看重的内容:规划和完善测试。不管你在测试中的角色是什么——从测试工程师到管理几百个测试工程师——本书将会提供一些深入的见解:做什么、为什么它是重要的,以及要如何才能做得更好。...
