| 1995 |
|---|
| 5 | | Ian Maung:
On Simulation, Subtyping and Substitutability in Sequential Object Systems.
Formal Asp. Comput. 7(6): 620-651 (1995) |
| 4 | EE | Ian Maung:
Two characterizations of a minimum-information principle for possibilistic reasoning.
Int. J. Approx. Reasoning 12(2): 133-156 (1995) |
| 3 | | Richard J. Mitchell,
John Howse,
Ian Maung:
As-a: A Relationship to Support Code Reuse.
JOOP 8(4): 25-33, 55 (1995) |
| 1994 |
|---|
| 2 | | Ian Maung,
John Howse,
Richard J. Mitchell:
Towards a Formalization of Programming-by-Difference.
FME 1994: 134-153 |
| 1992 |
|---|
| 1 | | Ian Maung,
John Howse:
Introducing Hyper-Z - A New Approach to Object Orientation in Z.
Z User Workshop 1992: 149-165 |
