Synthesis Lectures on Software Engineering – serie
Visar alla böcker i serien Synthesis Lectures on Software Engineering. Handla med fri frakt och snabb leverans.
5 produkter
Hard Problems in Software Testing
Solutions Using Testing as a Service (TaaS)
Av Scott Tilley, Brianna Floss
Häftad, 2014
367 kr
Lägg i varukorg
This book summarizes the current hard problems in software testing as voiced by leading practitioners in the field. The problems were identified through a series of workshops, interviews, and surveys. Some of the problems are timeless, such as education and training, while others such as system …
Testing iOS Apps with HadoopUnit
Rapid Distributed GUI Testing
Av Scott Tilley, Krissada Dechokul
Häftad, 2014
367 kr
Lägg i varukorg
Smartphone users have come to expect high-quality apps. This has increased the importance of software testing in mobile software development. Unfortunately, testing apps—particularly the GUI—can be very time-consuming. Exercising every user interface element and verifying transitions between …
Model-Driven Software Engineering in Practice, Second Edition
Av Marco Brambilla, Jordi Cabot m. fl.
Häftad, 2017
662 kr
Lägg i varukorg
This book discusses how model-based approaches can improve the daily practice of software professionals. This is known as Model-Driven Software Engineering (MDSE) or, simply, Model-Driven Engineering (MDE).MDSE practices have proved to increase efficiency and effectiveness in software development, …
Java Software Development with Event B
A Practical Guide
Häftad, 2020
312 kr
Lägg i varukorg
The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software …
Symbolic Execution and Quantitative Reasoning
Applications to Software Safety and Security
Häftad, 2020
280 kr
Lägg i varukorg
This book reviews recent advances in symbolic execution and its probabilistic variant and discusses how they can be used to ensure the safety and security of software systems. Symbolic execution is a systematic program analysis technique which explores multiple program behaviors all at once by …
