Verification and Validation of UML Conceptual Schemas with OCL Constraints

Publication: ACM Transactions on Software Engineering and Methodology

Volume / Number / Pagination: 21 / 2 / 13