(Ilmumisaeg: 04-Jan-2018, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319686707)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string ...Loe edasi...
(Ilmumisaeg: 04-Jan-2018, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319686707)
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string ...Loe edasi...
Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to buil...Loe edasi...
Learn the basics of test driven development (TDD) using Ruby. You will carry out problem domain analysis, solution domain analysis, designing test cases, and writing tests first. These fundamental concepts will give you a solid TDD foundation to buil...Loe edasi...
Prepare for the Project Management Institutes (PMI(R)) Agile Certified Practitioner (ACP(R)) exam. Augment your professional experience with the necessary knowledge of the skills, tools, and techniques that are required for passing the examination....Loe edasi...
In this book we develop powerful techniques based on formal methods for the verification of correctness, consistency and safety properties related to dynamic reconfiguration and communication in complex distributed systems. In particular, static anal...Loe edasi...
Bernhard Thalheim, Klaus-Dieter Schewe, Andreas Prinz, Bruno Buchberger
Sari: Texts & Monographs in Symbolic Computation
(Ilmumisaeg: 12-Jun-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319171128)
The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification n...Loe edasi...
(Ilmumisaeg: 21-Apr-2015, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319172668)
This SpringerBrief discusses multiple forms of open-source-inspired outsourcing: opensourcing, innersourcing and crowdsourcing. It uses a framework-based comparison to explain the strengths and weaknesses of each approach. By pointing out characteris...Loe edasi...
This book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control. Readers will learn how to define the overall testing goals and strategies for the systems being te...Loe edasi...
This book teaches test managers what they need to know to achieve advanced skills in test estimation, test planning, test monitoring, and test control. Readers will learn how to define the overall testing goals and strategies for the systems being te...Loe edasi...
These days, more and more software development projects are being carried out using agile methods like Scrum. Agile software development promises higher software quality, a shorter time to market, and improved focus on customer needs.However, the tra...Loe edasi...
These days, more and more software development projects are being carried out using agile methods like Scrum. Agile software development promises higher software quality, a shorter time to market, and improved focus on customer needs.However, the tra...Loe edasi...
Software Testing Foundations, 4th Edition provides the information necessary to pass the Certified Tester-Foundations Level exam, version 2011, as defined by the ISTQB; uses a format designed for self-study; and defines technical terms according to t...Loe edasi...
Software Testing Foundations, 4th Edition provides the information necessary to pass the Certified Tester-Foundations Level exam, version 2011, as defined by the ISTQB; uses a format designed for self-study; and defines technical terms according to t...Loe edasi...
Everybody is confronted with cloud computing. Whether you are a user, designer, programmer, project manager, or tester, sooner or later the cloud affects your work. If you are involved in selecting or implementing services from the cloud, or in keepi...Loe edasi...
Everybody is confronted with cloud computing. Whether you are a user, designer, programmer, project manager, or tester, sooner or later the cloud affects your work. If you are involved in selecting or implementing services from the cloud, or in keepi...Loe edasi...
When the pressure is on to resolve an elusive software or hardware glitch, what’s needed is a cool head courtesy of a set of rules guaranteed to work on any system, in any circumstance.Written in a frank but engaging style, this book provides s...Loe edasi...
