UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Author | Type
Jump to: B | C | D | F | G | H | K | L | M | S | Z
Number of items: 35.

B

Bennett, KH and Gold, NE and Layzell, PJ and Zhu, F and Brereton, OP and Budgen, D and Keane, J and Kotsiopoulos, I and Turner, M and Xu, J and Almilaji, O and Chen, JC and Owrak, A (2003) A broker architecture for integrating data using a web services environment. In: Orlowska, ME and Weerawarana, S and Papazoglou, MP and Yang, J, (eds.) SERVICE-ORIENTED COMPUTING - ICSOC 2003. (pp. 409 - 422). SPRINGER-VERLAG BERLIN

Binkley, D and Harman, M (2003) A large-scale empirical study of forward and backward static slice size and context sensitivity. In: INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 44 - 53). IEEE COMPUTER SOC

Binkley, D and Harman, M (2003) An empirical study of predicate dependence levels and trends. In: 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 330 - 339). IEEE COMPUTER SOC

Binkley, D and Harman, M (2003) Results from a large-scale study of performance optimization techniques for source code analyses based on graph reachability algorithms. In: THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS. (pp. 203 - 212). IEEE COMPUTER SOC

Binkley, D and Harman, M (2003) Results from a Large-Scale Study of Performance Optimization Techniques for Source Code Analyses Based on Graph Reachability Algorithms. In: SCAM. (pp. 203 - 203). IEEE Computer Society

Breu, S and Krinke, J (2003) Aspect Mining Using Dynamic Analysis. In: Softwaretechnik-Trends.

C

Clark, D and Hunt, S and Malacaria, P (2003) Quantified Interference for a While Language.

Clarke, J and Dolado, JJ and Harman, M and Hierons, R and Jones, B and Lumkin, M and Mitchell, B and Mancoridis, S and Rees, K and Roper, M and Shepperd, M (2003) Reformulating software engineering as a search problem. In: IEE Proceedings: Software. (pp. 161 - 175).

D

De Lucia, A and Harman, M and Hierons, R and Krinke, J (2003) Unions of slices are not slices. In: SEVENTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS. (pp. 363 - 367). IEEE COMPUTER SOC

Dolado, JJ and Harman, M and Otero, MC and Hu, L (2003) An empirical investigation of the influence of a type of side effects on program comprehension. IEEE T SOFTWARE ENG , 29 (7) 665 - 670.

F

Fatiregun, D and Harman, M and Hierons, R (2003) Search based transformations. In: CantuPaz, E and Foster, JA and Deb, K and Davis, LD and Roy, R and OReilly, UM and Beyer, HG and Standish, R and Kendall, G and Wilson, S and Hartman, M and Wegener, J and Dasgupta, D and Potter, MA and Schultz, AC and Dowsland, KA and Jonoska, N and Miller, J, (eds.) GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. (pp. 2511 - 2512). SPRINGER-VERLAG BERLIN

G

Gallagher, K and Harman, M and Danicic, S (2003) Guaranteed inconsistency avoidance during software evolution. J SOFTW MAINT EVOL-R , 15 (6) 393 - 416. 10.1002/smr.289.

Gold, N and Mohan, A (2003) A Framework for Understanding Conceptual Changes in Evolving Source Code. In: IEEE International Conference on Software Maintenance, ICSM. (pp. 431 - 439).

H

Harman, M and Binkley, D and Danicic, S (2003) Amorphous program slicing. J SYST SOFTWARE , 68 (1) 45 - 64. 10.1016/S0164-1212(02)00135-8.

Hierons, RM and Harman, M and Singh, H (2003) Automatically generating information from a Z specification to support the classification tree method. In: Bert, D and Bowen, JP and King, S and Walden, M, (eds.) ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B. (pp. 388 - 407). SPRINGER-VERLAG BERLIN

K

Krinke, J (2003) Advanced slicing of sequential and concurrent programs. Doctoral thesis, Universität Passau.

Krinke, J (2003) Barrier slicing and chopping. In: THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS. (pp. 81 - 87). IEEE COMPUTER SOC

Krinke, J (2003) Context-Sensitive Slicing of Concurrent Programs. In: Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). (pp. 178 - 187).

Krinke, J (2003) Context-sensitive slicing of concurrent programs. Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering 178 - 187.

L

Langdon, WB (2003) Comparison of DNAchip and Computer Vision Data. (Computer Science, University College London RN/03/ ).

Langdon, WB (2003) Equations for Human Bioavailability and P450. UNSPECIFIED

Langdon, WB (2003) Predicting Cancer. UCL, UK.

Langdon, WB (2003) Convergence of Program Fitness Landscapes. In: Cantú-Paz, E and Foster, JA and Deb, K and Davis, L and Roy, R and O'Reilly, U-M and Beyer, H-G and Standish, RK and Kendall, G and Wilson, SW and Harman, M and Wegener, J and Dasgupta, D and Potter, MA and Schultz, AC and Dowsland, KA and Jonoska, N and Miller, JF, (eds.) GECCO. (pp. 1702 - 1714). Springer

Langdon, WB (2003) How many Good Programs are there? How Long are they? In: De Jong, KA and Poli, R and Rowe, JE, (eds.) Foundations of Genetic Algorithms, 7. (pp. 183 - 202). Morgan Kaufmann: San Francisco, US.

Langdon, WB (2003) The Distribution of Reversible Functions is Normal. In: Riolo, RL and Worzel, B, (eds.) Genetic Programming Theory and Practise. (173 - 188). Kluwer

Langdon, WB and Buxton, BF (2003) The Application of Genetic Programming for Drug Discovery in the Pharmaceutical Industry. EPSRC RAIS Secondment with GlaxoSmithKline. UNSPECIFIED

Lano, K and Clark, D and Androutsopoulos, K (2003) RSDS, a Subset of UML with Precise Semantics. L’OBJET , 9 , Article 4.

Laurence, MR and Danicic, S and Harman, M and Hierons, R and Howroyd, J (2003) Equivalence of conservative, free, linear program schemas is decidable. THEOR COMPUT SCI , 290 (1) 831 - 862.

M

Mahdavi, K and Harman, M and Hierons, R (2003) Finding building blocks for software clustering. In: CantuPaz, E and Foster, JA and Deb, K and Davis, LD and Roy, R and OReilly, UM and Beyer, HG and Standish, R and Kendall, G and Wilson, S and Hartman, M and Wegener, J and Dasgupta, D and Potter, MA and Schultz, AC and Dowsland, KA and Jonoska, N and Miller, J, (eds.) GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT II, PROCEEDINGS. (pp. 2513 - 2514). SPRINGER-VERLAG BERLIN

Mahdavi, K and Harman, M and Hierons, RM (2003) A multiple hill climbing approach to software module clustering. In: INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS. (pp. 315 - 324). IEEE COMPUTER SOC

S

Störzer, M and Krinke, J (2003) Interference analysis for AspectJ. In: (Proceedings) Foundations of Aspect-Oriented Languages. (pp. 35 - 44).

Störzer, M and Krinke, J and Breu, S (2003) Trace analysis for aspect application. In: (Proceedings) Workshop on Analysis of Aspect-Oriented Software.

Z

Zhang, XY and Xie, XR and Munro, M and Harman, M and Hu, L (2003) Formal verification of communication protocol using type theory. In: 2003 INTERNATIONAL CONFERENCE ON COMMUNICATION TECHNOLOGY, VOL 1 AND 2, PROCEEDINGS. (pp. 1585 - 1593). BEIJING UNIV POSTS TELECOMMUNICAT PRESS

This list was generated on Wed May 22 09:48:25 2013 BST.