RefinementCalculus



Date view Thread view Subject view Author view

Mohamed M. Khatib (Mohamed_Kh@operamail.com)
Wed, 10 Jan 2001 14:45:02 -0500


Hi, Can any one tell me if possiple formalize UML-Metamodel in the Refinement Calculus? ------------------------------------------- The Fastest Browser on Earth now for FREE!! Download Opera 5 for Windows now! Get it at http://www.opera.com/download/ -------------------------------------------


Date view Thread view Subject view Author view