Items from Old ECS Groups > Dependable Systems and Software Engineering Research Group in 1990
(Grouped by Creator/Authors Name)

B

Butler, M. J. (1990) Service Extension at the Specification Level. In: Z User Meeting.

E

Edmunds, G. (1990) Experiences using CAAPE: computer assisted assessment of programming exercises. Computers & Education, 15 (1-3). pp. 45-48. ISSN ISSN 0360-1315

G

Garratt, P. W. (1990) MULTIPLAN: A 'what-if' planning tool for system development projects. In: International Conference on Management Technology.

Garratt, P. W. (1990) Predicting the Effects of CASE tools by Simulation. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Garratt, P. W., Sims, G. and Smith, S. (1990) Computer Science Systems Laboratory. In: Research Journal. pp. 183-184.

Glaser, H. (1990) Implementing Functional Languages on the Transputer. In: Research Journal. pp. 49-52.

Glaser, H., Cox, S. M. and Reeve, M. J. (1990) Implementing Functional Languages on the Transputer. In: Proc. Workshop on Functional Programming. pp. 287-295.

Glaser, H., Hartel, P. H. and Wild, J. M. (1990) A pragmatic approach to the analysis and compilation of lazy functional languages. In: Proc. 2nd Int. Conf. Parallel and distributed processing. pp. 169-184.

Gravell, A. M. (1990) Minimisation in Formal Specification and Design. In: Proc. Z User Workshop. pp. 32-45.

H

Harrison, R. and Glaser, H. (1990) The Gamma model as a functional programming tool. Technical Report , UNSPECIFIED, Dept. of Electr. and Comp. Sci, Univ. of Southampton, UK.

Hartel, P. H. (1990) A comparison of three garbage collection algorithms. Structured programming, 11 (3). pp. 117-127. ISSN ISSN 0935-1183

Hey, A. J. G. (1990) Concurrent Supercomputing in Europe. In: Invited paper at 5th Distributed Memory Computing Conference, South Carolina.

Hey, A. J. G. (1990) Experience with MIMD Message-Passing Systems - Towardsd General Purpose Parallel Computing. In: Invited paper at the Prisma Conference, Noordwijk.

Hey, A. J. G. (1990) Parallel Processing - Window on a New World. In: BCS Computer Bulletin 2, 8.

Hey, A. J. G. (1990) Scientific Applications on Transputer Arrays - Some Experiments in MIMD Parallelism". In: Invited paper at the 3rd Transputer/Occam International Conference.

Hey, A. J. G. (1990) Supercomputing with Transputers - Past, Present and Future". In: Invited paper at the 1990 International Conference on "Supercomputers", Amsterdam.

Hey, A. J. G. and Kabir, P. K. (1990) Nuclear Polorization Transfer in High Energy Electron Scattering. In: UNSPECIFIED.