scientific article; zbMATH DE number 3888886

Cited in

(31)

scientific article; zbMATH DE number 756385 (Why is no real title available?)
Three debates about computing
scientific article; zbMATH DE number 588035 (Why is no real title available?)
Analyzing the effect of imperfect debugging on software fault detection and correction processes via a simulation framework
Software Maintenance: Concepts and Practice
Computer algebra systems - new strategies and techniques
A functional framework for agent-based models of exchange
On agent-based software engineering
Testing timed automata
Enhancing the accuracy of software reliability prediction through quantifying the effect of test phase transitions
scientific article; zbMATH DE number 108418 (Why is no real title available?)
scientific article; zbMATH DE number 49463 (Why is no real title available?)
scientific article; zbMATH DE number 218372 (Why is no real title available?)
Applying abstraction and formal specification in numerical software design
Data-driven project portfolio selection: decision-dependent stochastic programming formulations with reliability and time to market requirements
A theory of change for prioritised resilient and evolvable software systems
A new algorithm for applying fuzzy set theory to evaluate the rate of aggregative risk in software development.
scientific article; zbMATH DE number 817979 (Why is no real title available?)
scientific article; zbMATH DE number 50852 (Why is no real title available?)
Software perfective maintenance: Including retrainable software in software reuse
Translation of uncertainty representation formats through a knowledge canonical form
On the quality of resources on the Web: An information retrieval perspective
A first order logic for specification of timed algorithms: Basic properties and a decidable class
Template method test pattern
Rationale-based software engineering
Towards a theory of practice in metaheuristics design: A machine learning perspective
Human system interface concerns in support system design
Software is different
Decidable verification for reducible timed automata specified in a first order logic with time
Automatic generation of verified concurrent hardware using VHDL
WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3221371)