23 rezultatov
-
Software Verification and Formal Methods for ML-Enabled Autonomous Systems(2022)This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022,Vezava: Mehka86,61 €
-
Why Programs Fail(2009) ZELLER, ANDREAS (SAARLAND UNIVERSITY, SAARBRUECKEN, GERMANY)With chapters on Verifying Code, Predicting Errors, and Preventing Errors, this title explains tools such as FindBUGS and AGITAR, highlights techniques from integrated environments like Jazz.net, and includes demos with ESC/Java and Spec#, Eclipse and MozVezava: Mehka83,66 €
-
-
Managing the Testing Process(2009) BLACK, REX (REX BLACK CONSULTING SERVICES, BULVERDE, TEXAS)New edition of one of the most influential books on managing software and hardware testing In this new edition of his top-selling book, Rex Black walks you through the steps necessary to manage rigorous testing programs of hardware and software. The preeVezava: Mehka49,05 €
-
Clean Code Cookbook(2023) CONTIERI, MAXIMILIANOWith this cookbook, author Maximiliano Contieri takes you beyond the concept of clean code by showing you how to identify improvement opportunities and their impact on production code. When it comes to reliability and system evolution, these techniques prVezava: Mehka68,39 €
-
Art of Application Performance Testing 2e(2015) MOLYNEAUX, IANBecause performance is paramount today, this thoroughly updated guide shows you how to test mission-critical applications for scalability and performance before you deploy them - whether it's to the cloud or a mobile device.Vezava: Mehka50,46 €
-
Artificial Intelligence and Software Testing(2022) SMITH, ADAM LEON,BLACK, REX,DAVENPORT, JAMES,OLSZEWSKA, JOANNA,ROßLER, JEREMIAS,WRIGHT, JONATHONAI presents a new paradigm in the development of software, representing the biggest change to how we think about quality and testing in decades. Many well known issues around AI manifest as quality management problems. This book explores AI from that anglVezava: Mehka62,36 €
-
Test Automation(2021) JOSE, BOBYThis comprehensive guide covers test automation in-depth for medium- to large-scale implementations, from the benefits of test automation to defining, building and implementing a test automation approach that is fit-for-purpose, to acquiring and executingVezava: Mehka71,27 €
-
Programmer's Brain: What every programmer needs to know about cognition(2021) HERMANS, FELIENNEVezava: Mehka71,27 €
-
-
Practical Test Design(2019) FORGACS, ISTVAN,KOVACS, ATTILAThis book presents the key test design techniques, in line with ISTQB, and explains when and how to use them, including in combination, with practical, real-life examples. Automated test design methods are also explored. Tips and exercises are included thVezava: Mehka73,82 €
-
-
Pragmatic Unit Testing in Java 8 with Junit(2015) LANGR, JEFF,HUNT, ANDY,THOMAS, DAVEThe Pragmatic Programmers classic is back! Freshly updated for modern software development, Pragmatic Unit Testing in Java 8 With JUnit teaches you how to write and run easily maintained unit tests in JUnit with confidenceVezava: Mehka46,84 €