Richard J. Mitchell

Publication Activity (10 Years)

Years Active: 1990-1995
Publications (10 Years): 0

Publications

Richard J. Mitchell, John Howse, Ian Maung
As-a: A Relationship to Support Code Reuse. J. Object Oriented Program. 8 (4) (1995)
Richard J. Mitchell, Martin J. Loomes, John Howse
Structuring formal specifications - a lesson relearned. Microprocess. Microsystems 18 (10) (1994)
Ian Maung, John Howse, Richard J. Mitchell
Towards a Formalization of Programming-by-Difference. FME (1994)
James M. Armstrong, Richard J. Mitchell
Uses and abuses of inheritance. Softw. Eng. J. 9 (1) (1994)
Carol Britton, Martin J. Loomes, Richard J. Mitchell
Formal specifications as constructive diagrams. Microprocess. Microprogramming 37 (1-5) (1993)
Jill Doake, Carol Britton, Richard J. Mitchell
Strange bedfellows: abstract data types and dBaseIII. Inf. Softw. Technol. 34 (2) (1992)
Carol Britton, Jill Doake, Richard J. Mitchell
Taming the abstract data type: a taxonomy to help information systems designers. ACM SIGSOFT Softw. Eng. Notes 15 (1) (1990)