Software Engineering

Are you a programmer who wants to get started quickly in a new language? This book is for you.Are you a novice who wants to learn to program? This ...

Explores and identifies the main issues, concepts, principles and evolution of software testing, including software quality engineering and testing...

Multiagent systems (MAS) are one of the most exciting and the fastest growing domains in the intelligent resource management and agent-oriented tec...

We are pleased to present the proceedings of the Second International Conf- ence on Software LanguageEngineering (SLE 2009). The conference was hel...

These multiple volumes (LNCS volumes 6016, 6017, 6018 and 6019) consist of the peer-reviewed papers from the 2010 International Conference on Compu...

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was...

ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryand Practiceof Software. ETAPS is anannual federatedconference that was...

This book constitutes the thoroughly reviewed joint postprocessings of two international workshops on Coordination, Organization, Institutions and ...

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, h...

This book constitutes the refereed proceedings of the Third International Symposium on Engineering Secure Software and Systems, ESSoS 2011, held in...

This book constitutes the refereed proceedings of the 24th International Conference on Architecture of Computing Systems, ARCS 2011, held in Lake C...

Welcome to the 5th European Conference on Smart Sensing and Context. EuroSSC 2010 is a venue for high-quality papers that describe both original an...

th The 15 edition of the International Conference on Reliable Software Te- nologies - Ada-Europe 2010-took place in the attractive venue of Valenci...

Veri?ed Software: Theories, Tools and Experiments, VSTTE 2010, was held in Edinburgh, Scotland during August 16-19, 2010. This conference is part o...

Computing systems including hardware, software, communication, and networks are becoming increasingly large and heterogeneous. In short, they have ...

From conception to birth is traditionally nine months. The first emails regarding the volume you now hold in your handsor the bits you have downloa...

Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new ...

Thisvolumecontainsaselectionofthepaperspresentedatthe19thInternational SymposiumonLogic-BasedProgramSynthesisandTransformation(LOPSTR 2009)heldSept...

Grid and Pervasive Computing (GPC) is an annual international conference on the emerging areas of grid computing and pervasive computing, aimed at ...

This volume presents the revised lecture notes of selected talks given at the Third Central European Functional Programming School, CEFP 2009, held...

ThisvolumecontainstheproceedingsofIFM2010,the8thInternationalConf- ence on Integrated Formal Methods. The conference took place October 12-14, 2010...

This volume constitutes the refereed proceedings of the Third European Conference, ServiceWave 2010, held in Ghent, Belgium, in December 2010. The ...

This new edition is brighter, shinier, more complete, more pragmatic, more focused than the previous one, and I wouldn't have thought it possible t...

Scalable Vector Graphics (SVG) is an image format, so text isn't the first thing you might think of when considering its uses. But one of SVG's key...