The two screenshots below show a UML diagram and a Naked Objects user representation of a prototype Conference Management system produced that same afternoon in just a couple of hours, by a group of ...

Some background on UML, Object-Z, Java and inheritance is provided, as well as short descriptions of the refinement process comprising data refinement, operation refinement and operation decomposition ...