Ian Maung

Publication Activity (10 Years)

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

Publications

Ian Maung
Two characterizations of a minimum-information principle for possibilistic reasoning. Int. J. Approx. Reason. 12 (2) (1995)
Richard J. Mitchell, John Howse, Ian Maung
As-a: A Relationship to Support Code Reuse. J. Object Oriented Program. 8 (4) (1995)
Ian Maung
On Simulation, Subtyping and Substitutability in Sequential Object Systems. Formal Aspects Comput. 7 (6) (1995)
Ian Maung, John Howse, Richard J. Mitchell
Towards a Formalization of Programming-by-Difference. FME (1994)
Ian Maung, John Howse
Introducing Hyper-Z - A New Approach to Object Orientation in Z. Z User Workshop (1992)