This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.
This book constitutes the refereed proceedings of the 2nd International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2025, held in Shanghai, China, during November 8–9, 2025.
The industrial internet has the characteristics of "e;change"e;, "e;integration"e; and "e;new"e;, and the security risks it faces are greatly different from the traditional Internet.
The industrial internet has the characteristics of "e;change"e;, "e;integration"e; and "e;new"e;, and the security risks it faces are greatly different from the traditional Internet.
This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD 2025, held in Munich, Germany, during May 20-22, 2025.
This book constitutes the refereed proceedings of the 17th Software Quality Days Conference, SWQD 2025, held in Munich, Germany, during May 20-22, 2025.
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.
This book constitutes the refereed proceedings of the First International Symposium on Software Fault Prevention, Verification, and Validation, SFPVV 2024, held in Hiroshima, Japan, during December 2-3, 2024.
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.
Dieses Buch richtet sich an alle, die sich auf die Prüfung ISTQB® Certified Tester – Foundation Level auf der Grundlage des im Jahr 2023 veröffentlichten Foundation Level Lehrplans (Version 4.
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.
This book presents readers with an exploration of the concept of Conceptual Models and argues that they are core to achieving good design of interactive applications that are easy, effective, and enjoyable to use.
This book presents readers with an exploration of the concept of Conceptual Models and argues that they are core to achieving good design of interactive applications that are easy, effective, and enjoyable to use.
This bestselling study guide explains the basic steps of software testing and how to perform effective tests in both traditional and Agile environments.
This bestselling study guide explains the basic steps of software testing and how to perform effective tests in both traditional and Agile environments.
Qualitätssicherung in KI-basierten System – damit KI-Projekte nicht scheitern- Zahlreiche Beispiele aus verschiedenen Branchen- Viele praktische Übungen mit Beispiellösungen- Mit Exkursen auf Basis industrieller ProjekterfahrungenUmfragen in der Industrie zeigen deutlich: KI-Projekte scheitern häufiger als angenommen.
Qualitätssicherung in KI-basierten System – damit KI-Projekte nicht scheitern- Zahlreiche Beispiele aus verschiedenen Branchen- Viele praktische Übungen mit Beispiellösungen- Mit Exkursen auf Basis industrieller ProjekterfahrungenUmfragen in der Industrie zeigen deutlich: KI-Projekte scheitern häufiger als angenommen.
This book evaluates the contributions of the electronic control unit software of an electric vehicle on sustainability and society, such as the reduction of emissions during a product design and the improvements in the vehicle.
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.
Mit (agilem) Testen zum Erfolg- Eingeführtes Standardwerk in Neuauflage- Brücke zwischen Test-Welt und agiler Welt- Best Practices, Fallbeispiele, Übungsaufgaben und Self-Assessment-FragenSoftwareentwicklung wird heute mit agilen Methoden durchgeführt.
Mit (agilem) Testen zum Erfolg- Eingeführtes Standardwerk in Neuauflage- Brücke zwischen Test-Welt und agiler Welt- Best Practices, Fallbeispiele, Übungsaufgaben und Self-Assessment-FragenSoftwareentwicklung wird heute mit agilen Methoden durchgeführt.
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.
