Search
Search Constraints
You searched for: Is Part Of IET software. Volume 13:Issue 4(2019)Limit your search
- 005.1 10
- Computer software -- Periodicals 10
- Software engineering -- Periodicals 10
- adaptive metacognitive scaffolding -- learning assistance -- learning algorithm -- learner modelling -- algorithm-learning classroom -- algorithm-learning system -- computer-based learning systems -- academic success -- academic satisfaction -- nonparametric statistical test -- Mann-Whitney U-test 1
- cTrace -- path-based equivalence checkers -- PBEC -- high-level synthesis -- counter-trace -- counter-example generation procedure -- program verification -- off-the-shelf SMT solvers -- graph visualisation software -- data-flow graph -- contro-flow graph -- visual representation -- root cause debugging 1
- comprehensive empirical study -- testing effectiveness -- test-case prioritisation -- TCP -- test-case execution -- regression testing -- fault localisation -- model-based testing -- combinatorial interaction testing -- ATC prioritisation techniques -- ATCP techniques 1
- computer aided instruction -- statistical testing 1
- critical influential determinants -- influential technological determinants -- organisational determinants -- environmental determinants -- local government -- IT innovation adoption -- organisational level -- business functions -- leadership 1
- data flow graphs -- program verification -- data visualisation -- computability 1
- design rationale traceability -- software design quality -- design rationale goals -- design pattern -- pattern detection result -- pattern detection output 1