Type

No Grouping Creators

B

Notations for modelling multimedia systems. (1996) C. Britton, S. Jones, M. Myers and M. Sharif

An investigation into the measurement of notations used in software modelling. (1996) C. Britton, S. Jones, M. Myers and M. Sharif

A new notation for modelling multimedia systems with three case studies. (1996) C. Britton, S. Jones, M. Myers and M. Sharif

The special requirements of multimedia systems: how to choose the most effective modelling notations. (1996) C. Britton, S. Jones, M. Myers and M. Sharif

A survey of tools for modelling multimedia systems. (1996) C. Britton, S. Jones, M. Myers and M. Sharif

C

Instruction scheduling for a superscalar architecture. (1996) R. Collins and G.B. Steven

L

Formal methods: no cure for faulty reasoning. (1996) M. Loomes and R.J. Vinter

Discretionary non-repudiation. (1996) M.R. Low

Expressing a policy. (1996) M.R. Low

A joint authorisation scheme. (1996) M.R. Low

Using single layer networks for discrete, sequential data: an example from natural language processing. [extended version]. (1996) C. Lyon

M

Teaching client server computing to undergraduates and postgraduates. (1996) J. Malcolm and P. Hu

P

The problem area of invoice matching at Neon Electrical- a case study of SSM in business systems analysis and design. (1996) C. Pascoulis

Investigating the limits of instruction level parallelism. (1996) R. Potter

R

Artificial evolution: modelling the development of the retina. (1996) A.G. Rust, R.G. Adams, S. George and H. Bolouri

Developmental neural networks for shape recognition: motivation and review. (1996) A.G. Rust and H. Bolouri

Developmental artificial neural networks for shape recognition: a model of the retina. (1996) A.G. Rust, S. George, H. Bolouri and R.G. Adams

S

WISE (world wide integrated software engineering): a summary of work in progress. (1996) J. Sapsford-Francis, S. Jones and M. Brabrook-Norman

An introduction to the Hatfield superscalar architecture. (1996) G.B. Steven, B. Christianson, R. Collins, R. Potter and F.L. Steven

V

Transfer of non-logical tendencies to formal reasoning. (1996) R.J. Vinter

A review of twenty formal specification notations. (1996) R.J. Vinter

Reasoning about formal software specifications : an initial investigation. (1996) R.J. Vinter, M.J. Loomes and D. Kornbrot

Seven lesser known myths of formal methods : uncovering the psychology of formal specification. (1996) R.J. Vinter, M.J. Loomes and D. Kornbrot

W

A frame work for business process & information systems reengineering (BP&ISR). (1996) J. Weerakkody

Key issues for successful exploitation of BP&ISR in Sri Lanka. (1996) J. Weerakkody, J. Bennett and C. Tagg

BP&ISR: an analysis of factors in the Sri Lankan context. (1996) V. Weerakkody