Richard J. Mitchell

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Richard J. Mitchell 001 (University of Reading)

Bibliography

1995

As-a: A Relationship to Support Code Reuse.

[BibT_eX]

Richard J. Mitchell

John Howse

Ian Maung

J. Object Oriented Program., 1995

1994

Structuring formal specifications - a lesson relearned.

[BibT_eX]

[DOI]

Richard J. Mitchell

Martin J. Loomes

John Howse

Microprocess. Microsystems, 1994

Uses and abuses of inheritance.

[BibT_eX]

[DOI]

James M. Armstrong

Richard J. Mitchell

Softw. Eng. J., 1994

Towards a Formalization of Programming-by-Difference.

[BibT_eX]

[DOI]

Ian Maung

John Howse

Richard J. Mitchell

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Formal specifications as constructive diagrams.

[BibT_eX]

[DOI]

Carol Britton

Martin J. Loomes

Richard J. Mitchell

Microprocess. Microprogramming, 1993

1992

Strange bedfellows: abstract data types and dBaseIII.

[BibT_eX]

[DOI]

Jill Doake

Carol Britton

Richard J. Mitchell

Inf. Softw. Technol., 1992

Abstract data types and Modula-2 - a worked example of design using data abstraction.

[BibT_eX]

Richard J. Mitchell

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-006081-5, 1992

Abstract data types and ada.

[BibT_eX]

Richard J. Mitchell

Prentice Hall International series in computer science, Prentice Hall, ISBN: 978-0-13-006099-0, 1992

1990

Taming the abstract data type: a taxonomy to help information systems designers.

[BibT_eX]

[DOI]

Carol Britton

Jill Doake

Richard J. Mitchell

ACM SIGSOFT Softw. Eng. Notes, 1990

Richard J. Mitchell

Known people with the same name:

Bibliography

Loading...