Software Engineering

This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,20...

Turn your love of video games into a new love of programming by learning the ins and outs of writing code while also learning how to keep track of ...

Turn your love of video games into a new love of programming by learning the ins and outs of writing code while also learning how to keep track of ...

Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy...

This book constitutes the refereed proceedings of the 20th International Conference on Compiler Construction, CC 2011, held in Saarbrücken, Germany...

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial...

The CAiSE series of conferences, started in 1989, provides an established - nue in the information systems engineering area for presenting and exch...

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 18th European Conference on Software Architecture...

The conference series HCSE (Human-Centred Software Engineering) was established four years ago in Salamanca. HCSE 2010 is the third working confere...

The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2010, was held in Brno (Czech Republic), August 23-27, 20...

This book presents Maple solutions to a wide range of problems relevant to chemical engineers and others. Many of these solutions use Maples symbol...

Software engineering is as much about teamwork as it is about technology. This introductory textbook covers both. For courses featuring a team proj...

Dieses Buch befasst sich mit dem Thema Testing aus Sicht der professionellen Anwender, nicht aber aus Sicht der Software-Entwicklung. Am Beispiel e...

Web Dynpro ABAP, a NetWeaver web application user interface tool from SAP, enables web programming connected to SAP Systems. The authors main focus...

Software, Animation and the Moving Image brings a unique perspective to the study of computer-generated animation by placing interviews undertaken ...

Specification by Example and Gherkin offer programmers, designers, and managers an inclusive environment for clear communication, discovering requi...

Its tedious and time-consuming to create OS-specific versions of every desktop application, especially with different set of tools for each platfor...

Critical Code contemplates Department of Defense (DoD) needs and priorities for software research and suggests a research agenda and related action...

We need better approaches to understanding and managing software requirements, and Dean provides them in this book. He draws ideas from three very ...

Lean and Agile Development for Large-Scale Products: Key Practices for Sustainable Competitive Success   Increasingly, large product-development or...

Organizations invest immense amounts of time, resources, and attention in their software projects. But all too often, when it's time to transfer t...

Be a Better Developer and Deliver Better Code   Despite advanced tools and methodologies, software projects continue to fail. Why? Too many organiz...

Software testing can be regarded as an art, a craft, and a science. The practical, step-by-step approach presented in this book provides a bridge b...

Data science happens in code. The ability to write reproducible, robust, scaleable code is key to a data science project's success-and is absolutel...