An emerging topic in software engineering and data mining, specification mining tackles software maintenance and reliability issues that cost economies billions of dollars each year.
A Functional Start to Computing with Python enables students to quickly learn computing without having to use loops, variables, and object abstractions at the start.
Because they incorporate both time- and event-driven dynamics, stochastic hybrid systems (SHS) have become ubiquitous in a variety of fields, from mathematical finance to biological processes to communication networks to engineering.
Build complex embedded systems faster and with lower costs by: * Knowing when and how much simulation testing is appropriate * Applying engineering methods to simulation design and development * Using the best tools available to develop simulations.
The ASQ Certified Software Quality Engineer Handbook, Third Edition contains information and guidance that supports all the topics within the 2023 version of the Certified Software Quality Engineer (CSQE) Body of Knowledge (BoK).
Get a fascinating and disturbing look into how state and nonstate actors throughout the world use cyber attacks to gain military, political, and economic advantages.
Computer systems have become an important element of the world economy, with billions of dollars spent each year on development, manufacture, operation, and maintenance.
The challenges in implementing intelligent and autonomous software systems remain the development of self-adapting systems, self-healing applications, corporate global creation, and collaborated robotic teams.
Get a fascinating and disturbing look into how state and nonstate actors throughout the world use cyber attacks to gain military, political, and economic advantages.
Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment.
Thoroughly revised to include the latest industry developments, the Second Edition presents a comprehensive overview of computer validation and verification principles and how to put them into practice.
With hundreds of tools preinstalled, the Kali Linux distribution makes it easier for security professionals to get started with security testing quickly.
This book provides engineers, developers, and technicians with a detailed treatment of various models of software behavior that will support early analysis, comprehension, and model-based testing.
Know-how zur ISO-Norm 29119 aus erster Hand- Matthias Daigl ist Mitautor der Normenreihe 29119 und Editor von Teil 5- Leitfaden für alle, die ein modernes Software-Testkonzept erstellen wollen und dabei Wert auf Normen-Konformität legen- mit vielen Hintergrundinformationen sowie ausführlichen Fallstudien aus den unterschiedlichsten Anwendungsbereichen Die ISO/IEC/IEEE ISO 29119 beschreibt bewährte Praktiken für das Software und Systems Engineering – Software Testing.
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.
Das bewährte Standardwerk zum Softwaretest – gut erklärt und praxisnah- Komplett aktualisiert auf den neuen Lehrplan »Certified Tester – Foundation Level« Version 4.
Das bewährte Standardwerk zum Softwaretest – gut erklärt und praxisnah- Komplett aktualisiert auf den neuen Lehrplan »Certified Tester – Foundation Level« Version 4.
The evaluation of IT and its business value are recently the subject of many academic and business discussions, as business managers, management consultants and researchers regularly question whether and how the contribution of IT to business performance can be evaluated effectively.
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.
