Items where Author is "Loomes, M."

Item Type No Grouping

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

Coding or comprehension? The essence of software system design. (1993) M. Loomes, C. Britton and P.N. Taylor

Cognitive and organisational aspects of design. (1993) M. Loomes, D. Ridley and D. Kornbrot

Security system case study. (1992) M. Loomes and C. Britton

Vertical Z. (1991) M. Loomes and C. Britton

“Fair” Authentication in Pervasive Computing. (2006) B. Christianson, J. Li and M. Loomes

Formal Systems, Not Methods. (2004) M. Loomes, B. Christianson and N. Davey

Teaching mathematical explanation through audiographic technology. (2002) M.J. Loomes, A. Shafarenko and M. Loomes