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; Gold, NE; Layzell, PJ; Zhu, F; Brereton, OP; Budgen, D; ... Owrak, A; + view all (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; 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; 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; 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; 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; Krinke, J; (2003) Aspect Mining Using Dynamic Analysis. In: Softwaretechnik-Trends.

C

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

Clarke, J; Dolado, JJ; Harman, M; Hierons, R; Jones, B; Lumkin, M; ... Shepperd, M; + view all (2003) Reformulating software engineering as a search problem. In: IEE Proceedings: Software. (pp. 161 - 175).

D

De Lucia, A; Harman, M; Hierons, R; 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; Harman, M; Otero, MC; 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; Harman, M; 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; Harman, M; Danicic, S; (2003) Guaranteed inconsistency avoidance during software evolution. J SOFTW MAINT EVOL-R , 15 (6) 393 - 416. 10.1002/smr.289.

Gold, N; 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; Binkley, D; Danicic, S; (2003) Amorphous program slicing. J SYST SOFTWARE , 68 (1) 45 - 64. 10.1016/S0164-1212(02)00135-8.

Hierons, RM; Harman, M; 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. 10.1145/940071.940096.

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; Buxton, BF; (2003) The Application of Genetic Programming for Drug Discovery in the Pharmaceutical Industry. EPSRC RAIS Secondment with GlaxoSmithKline. UNSPECIFIED

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

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

M

Mahdavi, K; Harman, M; 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; Harman, M; 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; Krinke, J; (2003) Interference analysis for AspectJ. In: (Proceedings) Foundations of Aspect-Oriented Languages. (pp. 35 - 44).

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

Z

Zhang, XY; Xie, XR; Munro, M; Harman, M; 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 Sun Jul 20 06:01:08 2014 BST.