UML



Date view Thread view Subject view Author view

Mohamed M. Khatib (Mohamed_Kh@operamail.com)
Thu, 4 Jan 2001 05:52:26 -0500


Hi, I am Mohamed khatib a ph.d student at the cairo university. Title of my thesis is: " The Use of Formal Methods in the Software Construction". The priamry goals of my ph.d are to: 1.Identify and formalize UML modeling concepts in Z. 2.Develop formal refinement techniques for UML. 3.apply the refinement techniques developed in step2 to a selected case study in software construction. Please tell me if there are any related work regarding the above goals. Best regards, Mohamed. ------------------------------------------- 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