Verification and Validation of UML Conceptual Schemas with OCL Constraints

Journal 2012

Authors: Queralt, Anna / Teniente, Ernest

Publication: ACM Transactions on Software Engineering and Methodology

Volume / Number / Pagination: 21 / 2 / 13