Ali Hamie. Using Patterns to Map OCL Constraints to JML Specifications. In Slimane Hammoudi, Luís Ferreira Pires, Joaquim Filipe, Rui César das Neves, editors, Model-Driven Engineering and Software Development - Second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers. Volume 506 of Communications in Computer and Information Science, pages 35-48, Springer, 2014. [doi]