Pattern-based Mapping of OCL Specifications to JML Contracts.

Ali Hamie

Browse the full MODELSWARD paper archive.