A Precise Approach to Validating UML Models and OCL Constraints - Brossura

Mark Richters

 
9783897228429: A Precise Approach to Validating UML Models and OCL Constraints