Ian Maung

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

5 Ian Maung: On Simulation, Subtyping and Substitutability in Sequential Object Systems. Formal Asp. Comput. 7(6): 620-651 (1995)

4 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

	1995
5		Ian Maung: On Simulation, Subtyping and Substitutability in Sequential Object Systems. Formal Asp. Comput. 7(6): 620-651 (1995)
4		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

Coauthor Index

1 John Howse [1] [2] [3]

2 Richard J. Mitchell [2] [3]

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page