A Validation System for Object Oriented Specifications of Information Systems.

Antonio Grau, Mojgan Kowsari

Browse the full ADBIS paper archive.