This book constitutes the refereed proceedings of the Second European Conference on Model Driven Architecture - Foundations and Applications, ECMDA-FA......
本书是在第一版的基础上,依据教育部《高职高专教育基础课程教学的基本要求》和《高职高专教育专业人才培养目标与规格》经过全面修订而成的。在修订中强调内容的实用性,以问题带知识点的方式来阐述,反映学科最新发展方向的新内容,加强了计算机网络、面向对象软件技术等实用技术的介绍,对统一建语言(UML)和统一过程......
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 incre......
Part of the new series,Advanced Topics in Science and Technology in China。this book aims tO introduce the theoretical foundations,various sub-fields,c......
The LNCS Jounal on Transactions on Aspect-Oriented Software Development is devoted to all facets of aspect-oriented software development (AOSD) techni......
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software Engineering, PSSE 2004,......
This book constitutes the thoroughly refereed post-proceedings of the First Combined International Workshops on Formal Approaches to Software Testing,......
This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 20......
This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly the UML......
This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on the Quality of Software Architectures, QoSA 2......
This book constitutes the refereed proceedings of the Third International Conference on Product Focused Software Process Improvement, PROFES 2001, hel......
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoL......
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Product Family Engineering, PFE 2001, held in Bilb......
"This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Generative and Component-Based Software Engin......
This book constitutes the refereed proceedings of the Second Software Product Line Conference SPLC2, held in San Diego, Ca, USA in August 2002. The......
"This book constitutes the refereed proceedings of the 10th International SDL Forum, SDL 2001, held in Copenhagen, Denmark in June 2001. The 26 revise......
This book constitutes the refereed proceedings of the 4th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2006, hel......
This book constitutes the refereed proceedings of the Third International Conference on Generative and Component-Based Software Engineering, GCSE 2001......
This book constitutes the refereed proceeding of the 13th European Software Process Improvement Conference, EuroSPI 2006, held in Joensuu, Finland in ......
This tutorial book presents an augmented selection of the material presented at the International Summer School on Generative and Transformational Tec......