Software Engineering

Software Systems Architecture, Second Edition is a highly regarded, practitioner-oriented guide to designing and implementing effective architectur...

Recursion, and recursive algorithms, have a reputation for being intimidating. But there's nothing magical about recursion. Its fearsome reputation...

Unlock your full potential as an effective, efficient, and inspiring leader, and be the software engineering manager that your team deserves! Think...

This textbook focuses on practical parallel C++ programming at the graduate student level. In particular, it shows the APIs and related language fe...

A hands-on guide to writing a Message Passing Interface, this book takes the reader on a tour across major MPI implementations, best optimization t...

Dependable Computing Covering dependability from software and hardware perspectives Dependable Computing: Design and Assessment looks at both the ...

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

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