Ian Maung

According to our database, Ian Maung authored at least 5 papers between 1992 and 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1995

As-a: A Relationship to Support Code Reuse.

Richard J. Mitchell, John Howse, Ian Maung

J. Object Oriented Program., 1995

Two characterizations of a minimum-information principle for possibilistic reasoning.

Ian Maung

Int. J. Approx. Reason., 1995

On Simulation, Subtyping and Substitutability in Sequential Object Systems.

Ian Maung

Formal Aspects Comput., 1995

1994

Towards a Formalization of Programming-by-Difference.

Ian Maung, John Howse, Richard J. Mitchell

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

1992

Introducing Hyper-Z - A New Approach to Object Orientation in Z.

Ian Maung, John Howse

Proceedings of the Z User Workshop, London, UK, 14-15 December 1992, Proceedings, 1992