Search the dblp DataBase

Publications of Author

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