Software Development 63

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 i……続きを見る

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2015, held in Barcelona, Spain, in Apr……続きを見る

Harness the power of DevOps to boost your skill set and make your IT organization perform betterKey Features\[\*\] Get to know the background of DevOps so you understand the collaboration between di……続きを見る

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015. ……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, i……続きを見る

This book constitutes the revised selected papers of the Third International Conference on Networked Systems, NETYS 2015, held in Agadir, Morocco, in May 2015. The 29 full papers and 12 short papers……続きを見る

This book constitutes the proceedings of the 13th International Symposium on Functional and Logic Programming, FLOPS 2016, held in Kochi, Japan, in March 2016. The 14 papers presented in this volume……続きを見る

Create fully-featured and highly functional iOS apps by writing tests firstKey Features\[\*\] Learn test-driven principles to help you build apps with fewer bugs and better designs\[\*\] Become more……続きを見る

Over 80 hands-on recipes to improve your skills in project management, team management, process improvement, and Redmine administrationKey Features\[\*\]Efficiently install and customize Redmine for……続きを見る

This book is the Proceedings of the 19th Annual RoboCup International Symposium, held in Hefei, China, in July 2015. The book contains 20 papers presented at the Symposium, carefully selected from 3……続きを見る

This book constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Software Technologies, ICSOFT 2015, held in Colmar, France, in July 2015. The 23 revised full ……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2015, held in Patras, Greece, in Se……続きを見る

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTE……続きを見る

Build mission-critical enterprise applications using Spring Framework and Aspect Oriented ProgrammingKey Features\[\*\] Step into more advanced features of aspect-oriented programming and API compon……続きを見る

This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest Universit……続きを見る

Problem solving is an essential part of every scientific discipline. It has two components: (1) problem identification and formulation, and (2) the solution to the formulated problem. One can solve ……続きを見る

This book constitutes the proceedings of the 22nd International Working Conference on Requirements Engineering – Foundation for Software Quality, REFSQ 2016, held in Gothenburg, Sweden, in March 201……続きを見る

Dieses Lehrbuch zeigt anhand eines durchgängigen Fallbeispiels wie Anwendungssoftware zur Optimierung von Geschäftsprozessen agil entwickelt werden kann. Auf der Basis eines agilen Vorgehensmodells ……続きを見る

Dieses Buch vermittelt praxisnahes Wissen und dient als Werkzeugkasten für erfolgreiches Projektmanagement. Das Autorenteam beschäftigt sich mit projektübergreifenden Querschnittsthemen und der Dars……続きを見る

続きを見る

続きを見る

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and the……続きを見る

The easy way to take control of project timelines, resources, budgets, and details Project manager, meet your new assistant! Once you discover Project 2016 you'll be amazed at how efficient and effe……続きを見る

Explore real-world threat scenarios, attacks on mobile applications, and ways to counter themKey Features\[\*\] Gain insights into the current threat landscape of mobile applications in particular\[……続きを見る

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Multi-Agent-Based Simulation, MABS 2015, held in Istanbul, Turkey, in May 2015. The wo……続きを見る

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2015, held in Paris, Fra……続きを見る

This Oracle Press guide shows how to implement key modules of Oracle Fusion FinancialsーGeneral Ledger and Financials Accounting Hubーcovering both the functional and technical aspects of this compl……続きを見る

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conf……続きを見る

This book constitutes the proceedings of the 19th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2016, which took place in Eindhoven, The Netherlands……続きを見る

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016……続きを見る