Thorsten Hartmann;Ralf Jungclaus;Gunter Saake
-;-;-
A validation system for object oriented specifications of information systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems