Sciweavers

Model Checking of Extended OCL Constraints on UML Models in SOCLe
Recent Google, Yahoo, MSN search queries leading to this post
Model Checking of Extended OCL Constraints on UML Models in SOCLe