OCL Framework to Verify Extra-Functional Properties in Component and Connector Models.

Shahar Maoz, Ferdinand Mehlan, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern

Browse the full MODELS paper archive.