Search
Add filters:
Use filters to refine the search results.
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2008 | Using formal methods to support testing | Hierons, RM; Bogdanov, K; Bowen, JP; Cleaveland, R; Derrick, J; Dick, JH; Gheorghe, M; Harman, M; Kapoor, K; Krause, P; Luettgen, G; Simons, AJH; Vilkomir, S; Woodward, M |
2002 | VADA: A transformation-based system for variable dependence analysis | Harman, M; Fox, C; Hierons, RM; Hu, L; Danicic, S; Wegener, J |
2001 | Pre/post conditioned slicing | Harman, M; Hierons, RM; Fox, C; Danicic, S; Howroyd, J |
1999 | Program simplification as a means of approximating undecidable propositions | Harman, M; Fox, C; Hierons, RM; Binkley, D; Danicic, S |
2004 | Evolving transformation sequences using genetic algorithms | Fatiregun, D; Harman, M; Hierons, RM |
2006 | The effectiveness of refactoring, based on a compatibility testing taxonomy and a dependency graph | Counsell, S; Hierons, RM; Najjar, R; Loizou, G; Hassoun, Y |
2008 | The precursor to an industrial software metrics program | Parkinson, ST; Counsell, S; Norman, M; Hierons, RM; Lycett, M |
2008 | Organizational challenges of the semantic web in digital libraries | Bygstad, B; Ghinea, G; Klaebo, GT |
2009 | OntoEng: A design method for ontology engineering in information systems | Al-Debei, MM; Fitzgerald, G |
2008 | Supporting simulation in industry through the application of grid computing | Mustafee, N; Taylor, S J E |
Discover
Subject
Date issued
- 627 2020 - 2025
- 1024 2010 - 2019
- 617 2000 - 2009
- 46 1992 - 1999