A Formal Approach to Designing a Class-Subclass Structure Using a Partial-Order on the Functions.

Sukhamay Kundu, Nigel Gwee

Browse the full COMPSAC paper archive.