New Type Checking Rules for OCL Expressions

Andy Schürr. New Type Checking Rules for OCL Expressions. In Gregor Engels, Andreas Oberweis, Albert Zündorf, editors, Modellierung 2001, Workshop der Gesellschaft für Informatik e. V. (GI), 28.-30. März 2001 in Bad Lippspringe. Volume 1 of LNI, pages 91-100, GI, 2001.

Abstract

Abstract is missing.