Specifying Structural Properties and Their Constraints Formally, Visually and Modularly Using VCL.

Nuno Amlio, Pierre Kelsen, Qin Ma

Browse the full CaiSE paper archive.