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; Harman, M; Raszewski, LR; 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; Hankin, C; Hunt, S; (2000) Safety of Strictness Analysis via Term Graph Rewriting. In: Palsberg, J, (ed.) SAS. (pp. 95 - 114). Springer

D

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

Danicic, S; Harman, M; (2000) Espresso: A slicer generator. In: Proceedings of the ACM Symposium on Applied Computing. (pp. 831 - 839).

F

Feldt, R; Neill, MO; Ryan, C; Nordin, P; 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; Harman, M; Hierons, RM; Danicic, S; (2000) ConSIT: A Conditioned Program Slicer. In: ICSM. (pp. 216 - 216).

G

GOLD, N; MUNRO, M; BENNETT, K; BROOKE, C; 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; 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; Androutsopoulos, K; Clark, D; (2000) Structuring and Design of Reactive Systems Using RSDS and B. In: FASE. (pp. 97-111 - 97-111).

Lano, K; Androutsopoulos, K; 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; Clark, D; Androutsopoulos, K; Kan, P; (2000) Invariant-Based Synthesis of Fault-Tolerant Systems. In: FTRTFT. (pp. 46-57 - 46-57).

Z

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

This list was generated on Sun Jul 20 05:59:09 2014 BST.