2002 Research Memoranda
CS-02-10
|
S.Tucker and G.J.Brown |
Investigating the perception of the size, shape and material
of damped and free vibrating plates. |
CS-02-09
|
A.J.Cowling |
A Simplified Abstract Syntax for the Dataflow Algebra |
CS-02-08
|
B.Eaglestone and S.D.North |
Proceedings of the 2002 PhD Summer School of the British
National Conference on Databases.
|
CS-02-07
|
J.Aguado and A.J.Cowling |
Systems of Communicating X-machines for Specifying
Distributed Systems. |
CS-02-06
|
J.Aguado and A.J.Cowling |
Foundations of the X-machine Theory for Testing |
CS-02-05
|
M.Stannett |
Complete Behavioural Testing.
|
CS-02-04
|
M.Stannett and A.J.H.Simons |
Complete Behavioural Testing of Object-Oriented Systems using
CCS-Augmented X-Machines |
CS-02-03
|
M.Stannett |
Computation and Hypercomputation |
CS-02-02
|
M.Stannett |
A bibliography of object-oriented testing with a short
general survey of the area. |
CS-02-01
|
E.Paskaleva, G.Angelova, M.Jankova, K.Bontcheva, H.Cunningham
and Y.Wilks |
Slavonic named entities in GATE |
|