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 | L | Z
Number of items: 18.

B

Binkley, D and Harman, M and Raszewski, LR and Smith, C (2000) An empirical study of amorphous slicing as a program comprehension support tool. In: 8TH INTERNATIONAL WORKSHOP ON PROGRAM COMPREHENSION (IWPC 2000), PROCEEDINGS. (pp. 161 - 170). IEEE COMPUTER SOC

C

Clark, D and Hankin, C and Hunt, S (2000) Safety of Strictness Analysis via Term Graph Rewriting. In: Palsberg, J, (ed.) SAS. (pp. 95 - 114). Springer

D

Danicic, S and Fox, C and Harman, M and Hierons, R (2000) ConSIT: A conditioned program slicer. In: INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS. (pp. 216 - 226). IEEE COMPUTER SOC

Danicic, S and Harman, M (2000) Espresso: A Slicer Generator. In: SAC (2). (pp. 831 - 839).

F

Feldt, R and Neill, MO and Ryan, C and Nordin, P and Langdon, WB (2000) GP-Beagle: A Benchmarking Problem Repository for the Genetic Programming Community. In: Whitley, D, (ed.) Late Breaking Papers at the 2000 Genetic and Evolutionary Computation Conference. (pp. 90 - 97). : Las Vegas, Nevada, USA.

Fox, C and Harman, M and Hierons, RM and Danicic, S (2000) ConSIT: A Conditioned Program Slicer. In: ICSM. (pp. 216 - 216).

G

GOLD, N and MUNRO, M and BENNETT, K and BROOKE, C and RAMAGE, M (2000) Overcoming the legacy dilemma: modelling socio-technical change options. In: Bustard, D and Kawalek, P and Norris, M, (eds.) Systems modeling for business process improvement. (? - ?). Artech House Publishers

H

Hierons, RM and Harman, M (2000) Testing conformance to a quasi-non-deterministic stream X-machine. In: Formal Aspects of Computing. (pp. 423 - 442).

L

Langdon, W (2000) Size fair and homologous tree genetic programming crossovers. Journal of Genetic Programming and Evolutionary Machines , 1 95 - 119. 10.1023/A:1010024515191.

Langdon, WB (2000) GECCO’99 Student Workshop. Robotica , 18 , Article 1. 10.1017/S0263574799002507.

Langdon, WB (2000) Genetic Programming and Evolvable Machines: Books and other Resources. Genetic Programming and Evolvable Machines , 1 , Article 1/2. 10.1023/A:1010028616099.

Langdon, WB (2000) Natural language text classification and filtering with trigrams and evolutionary nearest neighbour classifiers. : Kruislaan 413, NL-1098 SJ Amsterdam, The Netherlands.

Langdon, WB (2000) Problems with ROC Convex Hulls. : Gower Street, London.

Langdon, WB (2000) Trends in Evolutionary Data Mining. UNSPECIFIED

Lano, K and Androutsopoulos, K and Clark, D (2000) Structuring and Design of Reactive Systems Using RSDS and B. In: FASE. (pp. 97-111 - 97-111).

Lano, K and Androutsopoulos, K and Kan, P (2000) Structuring reactive systems in B AMN. In: Liu, S and McDermid, JA and Hinchey, MG, (eds.) ICFEM 2000: THIRD INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS. (pp. 25 - 33). IEEE COMPUTER SOC

Lano, K and Clark, D and Androutsopoulos, K and Kan, P (2000) Invariant-Based Synthesis of Fault-Tolerant Systems. In: FTRTFT. (pp. 46-57 - 46-57).

Z

Zeller, A and Krinke, J (2000) Programmierwerkzeuge - Versionskontrolle, Konstruktion, Testen, Fehlersuche unter Linux / Unix. dpunkt.verlag

This list was generated on Tue May 21 11:12:34 2013 BST.