RE: UML



Date view Thread view Subject view Author view

Daniel Jackson (dnj@lcs.mit.edu)
Thu, 4 Jan 2001 08:37:24 -0500


mohamed, my work on alloy is strongly related, and some of my papers discuss the relationship between alloy, UML and Z. see "publications" from my home page below. regards, /daniel -------------------------------------------------- Daniel Jackson Associate Professor, Computer Science Massachusetts Institute of Technology http://sdg.lcs.mit.edu/~dnj ....-----Original Message----- ....From: Mohamed M. Khatib [mailto:Mohamed_Kh@operamail.com] ....Sent: Thursday, January 04, 2001 5:52 AM ....To: puml-list@cs.york.ac.uk ....Subject: UML .... .... ....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/ ....------------------------------------------- .... .... .... .... ....To remove yourself from this list please mail ....puml-list-request@cs.york.ac.uk ....with a message containing the word "unsubscribe". ....


Date view Thread view Subject view Author view