UML/OCL and Refinement

Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté. UML/OCL and Refinement. In 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011. pages 149-158, IEEE Computer Society, 2011. [doi]

Abstract

Abstract is missing.