Lecture Notes in Computer Science 4262 Formal Approaches to Software Testing and Runtime Verificatio

2006 年出版255 页ISBN：9783540496991

Lecture Notes in Computer Science 3092 Extreme Programming and Agile Processes in Software Engineeri

XP 20042004 年出版358 页ISBN：3540221379

Lecture Notes in Computer Science 4536 Agile Processes in Software Engineering and Extreme Programmi

XP 20072007 年出版276 页ISBN：9783540731009

Lecture Notes in Computer Science 4044 Extreme Programming and Agile Processes in Software Engineeri

XP 20062006 年出版230 页ISBN：3540350942

Lecture Notes in Computer Science 3556 Extreme Programming and Agile Processes in Software Engineeri

XP 20052005 年出版332 页ISBN：3540262776

REUSE-BASED SOFTWARE ENGINEERING:TECHNIQUES ORGANIZATION AND CONTROLS

2222 年出版636 页ISBN：7505386247

本书主要介绍了基于重用的软件工程实践模型和其他有关的基础问题，全面分析了基于重用的软件工程的当前状态和未来发展，重点讨论了软件重用的关键技术、管理和组织问题，详细论述了这些理论知识在基于组件的软件...

METRICS AND MODELS IN SOFTWARE QUALITY ENGINEERING

STEPHEN H.KAN2004 年出版528 页ISBN：730208839X

本书主要介绍了软件质量过程的度量与模型，内容包括质量规划、过程提高与质量控制、过程中（in-process）质量管理、产品工程（设计与代码复杂性）、可靠性评估与预测，以及用户满意度数据分析等。本书不仅阐述了有关软...

Lecture Notes in Computer Science 3785 Formal Methods and Software Engineering 7th International Con

ICFEM 20052005 年出版496 页ISBN：3540297979

Lecture Notes in Computer Science 3308 Formal Methods and Software Engineering 6th International Con

ICFEM 20042004 年出版500 页ISBN：3540238417

Lecture Notes in Computer Science 4789 Formal Methods and Software Engineering 9th International Con

ICFEM 20072007 年出版386 页ISBN：9783540766483