Software Engineering

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...

Prepare for programming success by learning the fundamental principles of developing structured program logic with Farrells PROGRAMMING LOGIC AND D...

For courses in structured systems analysis and design.Developing advanced system analystsPrioritizing the practical over the technical, Modern Syst...

This book is for everyone who needs to test the web. As a tester, you'll automate your tests. As a developer, you'll build more robust solutions. A...

If the purpose is to create one of the best books on requirements yet written, the authors have succeeded. Capers Jones Software can solve alm...

Model transformations are the glue that tie modelling activities together. If youve used modelling in anger then, whether you know it or not, youve...

This volume consists of the proceedings of the 31th International Conference on Applications and Theory of Petri Nets and Other Models of Concurren...

ICALP 2010, the 37th edition of the International Colloquium on Automata, Languages and Programming was held July 6-10, 2010 in Bordeaux, France. I...

  Few books in computing have had as profound an influence on software management as Peopleware. The unique insight of this longtime best seller i...

Winner of the 2011 Jolt Excellence Award! Getting software released to users is often a painful, risky, and time-consuming process.This groundbreak...

As information technology (IT) becomes specialized and fragmented, it is easy to lose sight that many topics have common threads and because of thi...

Why are the many highly capable autonomous robots that have been promised for novel applications driven by society, industry, and research not avai...

and ontologies,and CoopIS(CooperativeInformationSystems,since 1993),c- ering the application of these technologies in an enterprise context through...

ThetopicofModel-BasedEngineeringofReal-TimeEmbeddedSystemsbrings together a challenging problem domain (real-time embedded systems) and a - lution ...

th This Festschrift is dedicated to Christoph Walther on the occasion of his 60 th birthday on August 9 , 2010. It consists of articles by some of ...

All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the...

We are pleased to welcome you to the eleventh edition of the Middleware c- ference. The program this year is a sign of the robustness, activity, an...

This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held i...

A revolutionary concept-based approach to thinking about, designing, and interacting with softwareAs our dependence on technology increases, the de...

DESCRIPTION To be competitive, an organization needs to reach modern standards of scalability and high availability. While Linux is an option, its ...

Data Science and Analytics with Python is designed for practitioners in data science and data analytics in both academic and business environments....

Today's tech unicorns develop software differently. They've developed a way of working that lets them scale like an enterprise while working like a...

Why does poor software quality continue to plague enterprises of all sizes in all industries? Part of the problem lies with the process, rather tha...