A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carmen Avila, Guillermo Flores, Yoonsik Cheon. A Library-Based Approach to Translating OCL Constraints to JML Assertions for Runtime Checking. In Hamid R. Arabnia, Hassan Reza, editors, Proceedings of the 2008 International Conference on Software Engineering Research & Practice, SERP 2008, July 14-17, 2008, Las Vegas Nevada, USA, 2 Volumes. pages 403-408, CSREA Press, 2008.

This author has not been identified. Look up 'Carmen Avila' in GoogleThis author has not been identified. Look up 'Guillermo Flores' in GoogleThis author has not been identified. Look up 'Yoonsik Cheon' in Google

runs on WebDSL