Software Engineering

CyberPhysicalHuman Systems A comprehensive edited volume exploring the latest in the interactions between cyberphysical systems and humans In Cyber...

In today's cloud native world, where we automate as much as possible, everything is code. With this practical guide, you'll learn how Policy as Cod...

Conventional build-then-test practices are making todays embedded, software-reliant systems unaffordable to build. In response, more than thirty le...

This book constitutes the refereed proceedings of the Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Syste...

This volume contains the proceedings of the Third International DMTF Academic Alliance Workshop on Systems and Virtualization Management: Standards...

Software engineering is understood as a broad term linking science, traditional en- neering, art and management and is additionally conditioned by ...

This book constitutes the proceedings of the third workshop on Business Process Model and Notation, BPMN 2011, held in Lucerne, Switzerland, in Nov...

Description The Angular 2 framework is great for building large-scale web applications that can be maintained and extended. And when building enter...

DESCRIPTION Being able to make near-real-time decisions is becoming increasingly crucial. To succeed, we need machine learning systems that can tur...

Software testing is conducted to provide stakeholders with information about the quality of a product under testing. The book, which is a result of...

Withfour inspiringconferencesthattookplaceinClaremont,Pasadena,Atlanta and Philadelphia, the International Conference on Design Science Research in...

Economic perspectives in network management have recently attracted a high level of attention. The Third Workshop on Economic Traffic Management (E...

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient ...

The First Complete Guide to Mobile App Testing and Quality Assurance: Start-to-Finish Testing Solutions for Both Android and iOS   Today, mobil...

This open access book explores the recent developments automated driving and Car2x-communications are opening up attractive opportunities future mo...

CMMI® for Services (CMMI-SVC) is a comprehensive set of guidelines to help organizations establish and improve processes for delivering services. B...

Book + Content Update Program Beyond just describing the basics, this book dives into best practices every aspiring microservices developer or ...

Here's what three pioneers in computer graphics and human-computer interaction have to say about this book: What a tour de force-everything one wou...

An insiders guide to translating the creative techniques of jazz to the business world. Scott Berkun, author of The Myths of Innovation   Wha...

CMMI® for Development (CMMI-DEV) describes best practices for the development and maintenance of products and services across their lifecycle. By i...

In the quest for quality, software developers have long focused on improving the internal architecture of their products. Larry L. Constantine--who...

This volume contains the proceedings of the 21st Conference on C- currency Theory (CONCUR 2010), held in Paris, at Universit'eDenis Diderot, August...

The MODELS series of conferences is the premier venue for the exchange of innovative technical ideas and experiences relating to model-driven appro...

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

People are happiest and most productive if they can choose what they work on and who they work with. Self-selecting teams give people that choice. ...

The IFIP International Conference on Network and Parallel Computing is an international conference, aimed at providing an exciting platform and for...

th We welcome you to the joint proceedings of the anniversary 10 NEW2AN 2010 (Next Generation Teletra?c and Wired/Wireless Advanced Networking) and...

The 2010 Pacific-Rim Conference on Multimedia (PCM 2010) was held in Shanghai at Fudan University, during September 2124, 2010. Since its inaugurat...

This volume contains the proceedings of the 22nd International Conference on Computer-Aided Veri?cation (CAV) held in Edinburgh, UK, July 15-19 201...

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

Providing solutions to dozens of technical dilemmas, this guide features 101 tips for evaluating and circumventing RPG IV's shortcomings to help en...

This book celebratesthe 25th anniversaryof GULPthe Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of th...

It is an honor and a pleasure to present the proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010) held in Maribo...

The Second Future Internet Symposium washeld during September 1-3, 2009 in Berlin, Germany. FIS 2009 provided a forum for leading researchers and p...

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