Domain Modelling and the Limits of System Correctness.

Giancarlo Guizzardi

Browse the full ICSoft paper archive.