The following pages link to (Q3221371):
Displaying 24 items.
- Analyzing the effect of imperfect debugging on software fault detection and correction processes via a simulation framework (Q410045) (← links)
- A functional framework for agent-based models of exchange (Q426933) (← links)
- Human system interface concerns in support system design (Q1055729) (← links)
- Software perfective maintenance: Including retrainable software in software reuse (Q1328513) (← links)
- Translation of uncertainty representation formats through a knowledge canonical form (Q1328536) (← links)
- A new algorithm for applying fuzzy set theory to evaluate the rate of aggregative risk in software development. (Q1425286) (← links)
- Decidable verification for reducible timed automata specified in a first order logic with time (Q1606131) (← links)
- Template method test pattern (Q1799560) (← links)
- Software is different (Q1859545) (← links)
- Applying abstraction and formal specification in numerical software design (Q1903758) (← links)
- On agent-based software engineering (Q1978654) (← links)
- Enhancing the accuracy of software reliability prediction through quantifying the effect of test phase transitions (Q2017914) (← links)
- Data-driven project portfolio selection: decision-dependent stochastic programming formulations with reliability and time to market requirements (Q2147012) (← links)
- On the quality of resources on the Web: An information retrieval perspective (Q2384816) (← links)
- Computer algebra systems - new strategies and techniques (Q2425967) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- Towards a theory of practice in metaheuristics design: A machine learning perspective (Q3431446) (← links)
- Software engineering. (Q3992540) (← links)
- Principles of software engineering management (Q3992660) (← links)
- (Q4699057) (← links)
- Three Debates about Computing (Q5326387) (← links)
- Testing timed automata (Q5940921) (← links)
- A first order logic for specification of timed algorithms: Basic properties and a decidable class (Q5957904) (← links)
- A theory of change for prioritised resilient and evolvable software systems (Q6067109) (← links)
