This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of software, and how they can be used in practice.
The French School of Programming is a collection of insightful discussions of programming and software engineering topics, by some of the most prestigious names of French computer science.
In the fast-paced and ever-evolving field of front-end development, one of the biggest challenges is maintaining high-quality code while producing work rapidly.
Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques.
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.
Explore software web application architecture, API testing, coding practices, and the standards for better API test automation development and management.
Learn, develop and hone your Linux and DevOps skills by building a lab for learning, testing and exploring the latest Linux and open-source technologies.
Program debugging has always been a difficult and time-consuming task in the context of software development, where spectrum-based fault localization (SBFL) is one of the most widely studied families of techniques.
In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form of an open call.
In an article for Wired Magazine in 2006, Jeff Howe defined crowdsourcing as an idea for outsourcing a task that is traditionally performed by a single employee to a large group of people in the form of an open call.
Concepts, methods, and techniques supported with practical, real-world examplesThe first book to cover the ISTQB Certified Test Automation Engineer syllabusWith real-world project examples Suitable as a textbook, as a reference book for ISTQB training courses, and for self-studyThis book provides a complete overview of how to design test automation processes and integrate them into your organization or existing projects.
Concepts, methods, and techniques supported with practical, real-world examplesThe first book to cover the ISTQB Certified Test Automation Engineer syllabusWith real-world project examples Suitable as a textbook, as a reference book for ISTQB training courses, and for self-studyThis book provides a complete overview of how to design test automation processes and integrate them into your organization or existing projects.
Das "International Software Architecture Qualification Board" (iSAQB) hat einen international anerkannten Aus- und Weiterbildungsstandard für Softwarearchitekten etabliert: den Certified Professional for Software Architecture, Foundation Level" (CPSA-F).
Eine gute Testsuite mit hoher Testabdeckung verringert nicht nur die Fehlerdichte eines zu entwickelnden Systems, sondern bildet auch die Grundlage für Refactorings und Erweiterungen.
Das "International Software Architecture Qualification Board" (iSAQB) hat einen international anerkannten Aus- und Weiterbildungsstandard für Softwarearchitekten etabliert: den Certified Professional for Software Architecture, Foundation Level" (CPSA-F).
Das Buch deckt sowohl funktionale als auch technische Aspekte des Softwaretestens ab und vermittelt damit das notwendige Praxiswissen für Test Analysts und Technical Test Analysts - beides entscheidende Rollen in Testteams.
Die effiziente Entwicklung neuer, differenzierender fachlicher Prozesse in heterogenen Systemlandschaften ist seit jeher eine der größten Herausforderungen für Unternehmen.
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020.
WINNER: Independent Press Awards 2023 - Category: Technology AI presents a new paradigm in software development, representing the biggest change to how we think about quality and testing in decades.
WINNER: Independent Press Awards 2023 - Category: Technology AI presents a new paradigm in software development, representing the biggest change to how we think about quality and testing in decades.
Explore software web application architecture, API testing, coding practices, and the standards for better API test automation development and management.
Learn, develop and hone your Linux and DevOps skills by building a lab for learning, testing and exploring the latest Linux and open-source technologies.
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.
