| 467 | -- | 477 | Colin J. Hardy, J. Barrie Thompson, Helen M. Edwards. The use, limitations and customization of structured systems development methods in the United Kingdom |
| 479 | -- | 491 | John V. Harrison. Incremental view maintenance in extended relational databases |
| 493 | -- | 502 | George Economakos, George K. Papakonstantinou, Panayotis Tsanakas. An attribute grammar approach to high-level automated hardware synthesis |
| 503 | -- | 513 | John Murphy, Jane Grimson. Multidatabase interoperability in the Jupiter system |
| 515 | -- | 520 | Erran Carmel. Time-to-completion factors in packaged software development |
| 521 | -- | 523 | Julian Rose. Z - An introduction to formal methods (2nd edn) : Antoni Diller John Wiley, Chichester (1994) £22.50 (1st edn published in 1990) ISBN 0 471 93973 0 |
| 523 | -- | 0 | Andrew D. McGettrick. Software reusability : Wilhelm Schafer, Ruben Prieto-Diaz and Matsumoto Ellis Norwood (1994) 160 pp |
| 524 | -- | 0 | Robert MacLean. User interface software : Len Bass and Prasun Dewan (eds) John Wiley, Chichester (1993) 201 pp, £19.95 ISBN 0 471 93784 3 |