Søgning på underkategorier- og emner:
Bemærk: Kan ikke leveres før jul.
This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013.
Bemærk: Kan ikke leveres før jul.
Explore the new way of building and maintaining test cases with Java test driven development (TDD) using JUnit 5.
Bemærk: Kan leveres før jul.
Bemærk: Kan ikke garanteres før jul. Se dato på varen.
Both beginning- and experienced programmers can improve the quality of their programming with this informal textbook. The author draws on... Læs mere
Bemærk: Kan ikke leveres før jul.
This book constitutes the refereed proceedings of the 30th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in Cádiz, Spain, in October 2018.
Bemærk: Kan ikke leveres før jul.
This book covers both theory and applications in the automation of software testing tools and techniques for various types of software... Læs mere
Bemærk: Kan ikke leveres før jul.
The chapters that follow are categorized into three main parts to present 1) major tools for code clone analysis, 2) fundamental topics such as evaluation benchmarks, clone visualization, code clone searches, and code similarities, and 3) applications to actual problems.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan leveres før jul.
This book offers a comprehensive introduction to AI and Machine Learning fundamentals, equipping software testers with the skills to... Læs mere
Bemærk: Kan leveres før jul.